package herdtools7

You can search for identifiers within the package.

in-package search v0.2.0

Module `Native.NoScope`Source

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.