hito / env.h

#ifndef env_h
#define env_h

#include "bitset.h"
#include "scope.h"

typedef struct captures captures_t;
typedef struct env env_t;
typedef struct value value_t;

env_t *env_capture(env_t *env, value_t **locals, size_t as_frame, size_t as_top, bitset_t *used);
void env_free(env_t *env);

value_t *env_lookup(env_t *env, de_bruijn_t index);
void env_mark_values(env_t *env);

void env_debug_dump(env_t *env);

#endif