The CMSA signature

Synopsis

signature CMSA
structure Compiler.CMSA : CMSA


Interface

type env
type sym
val STR : string -> sym
val SIG : string -> sym
val FCT : string -> sym
val FSIG : string -> sym
val pervenv : unit -> env
val register : env -> unit
val run : (string * env) -> env
val layer : env list -> env
val filter : sym list -> env -> env


Description

type env

type sym

STR s

Symbol space for structure identifiers.

SIG s

Symbol space for signature identifiers.

FCT s

Symbol space for functor identifiers.

FSIG s

Symbol space for functor signature identifiers.

pervenv ()

The pervasive environment.

register en

run (s, en)

layer l

Compose several environments together.

filter syms e

Select the bindings from e named by syms.