#ifndef scope_h
#define scope_h
#include <stddef.h>
#include "intern.h"

typedef struct scope scope_t;
typedef size_t de_bruijn_t;


scope_t *scope_alloc(void);
void scope_push(scope_t *scope, intern_t identifier);
void scope_pop(scope_t *scope, size_t amount);
void scope_free(scope_t *scope);
de_bruijn_t scope_lookup(scope_t *scope, intern_t identifier);
void scope_debug_dump(scope_t *scope);
#endif