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 type S = sig ... end

Internal representation for subprograms.

module RunTime
  (C : RunTimeConf) : 
  S with type v = C.v and module Scope = C.Scope

Internal representation for subprograms.