package herdtools7

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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.

OCaml

Innovation. Community. Security.