Module Native.NoScopeSource

Sourcetype t = unit

Data making a subprogram call unique, if needed.

Sourceval global : init:bool -> t

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

Sourceval new_local : AST.identifier -> t

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