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