Module C.Scope

Scopes for interpretation: make local storage identifiers unique accross function calls, if needed.

type t

Data making a subprogram call unique, if needed.

val global : init:bool -> t

The global scope during runtime or init, depending on init flag.

val new_local : AST.identifier -> t

new_local_scope subprogram_name returns a new identifier for the call to the function named subprogram_name.