Up – Package index » Herdtools7 » Library herdtools7.asllib » Asllib » Env

Module `Asllib.Env`Source

The runtime environment used by Interpreter.

Sourcemodule type RunTimeConf = sig ... end

Sourcemodule RunTime (C : RunTimeConf) : sig ... end

Internal representation for subprograms.