The SCSTATICENV signature


Synopsis

signature SCSTATICENV
structure Compiler.SCStaticEnv : SCSTATICENV

Interface

type staticEnv
val empty : staticEnv
val atop : (staticEnv * staticEnv) -> staticEnv
val consolidate : staticEnv -> staticEnv
val unSC : staticEnv -> StaticEnv.staticEnv
val SC : StaticEnv.staticEnv -> staticEnv
val adjSC : (staticEnv list * StaticEnv.staticEnv) -> staticEnv
val lookSTR : staticEnv -> ModuleId.modId -> Modules.Structure option
val lookSIG : staticEnv -> ModuleId.modId -> Modules.Signature option
val lookFSIG : staticEnv -> ModuleId.modId -> Modules.fctSig option
val lookFCT : staticEnv -> ModuleId.modId -> Modules.Functor option
val lookTYC : staticEnv -> ModuleId.modId -> Types.tycon option
val lookEENV : staticEnv -> ModuleId.modId -> Modules.entityEnv option
val debugging : bool ref

Description

type staticEnv

empty


atop (st, st2)


consolidate st


unSC st


SC st


adjSC (l, st)


lookSTR st mo


lookSIG st mo


lookFSIG st mo


lookFCT st mo


lookTYC st mo


lookEENV st mo


debugging