| SMLDoc |
structure ENVSet =
struct
structure AA = AnnotatedAst
structure EA = ElaboratedAst
datatype ENVSet =
ENVSet of
{
structureENV : (string * EA.moduleReference * ENVSet) list,
signatureENV : (string * EA.moduleReference * ENVSet) list,
functorENV : (string * EA.moduleReference * ENVSet) list,
functorSignatureENV : (string * EA.moduleReference * ENVSet) list,
typeENV : (string * EA.moduleReference) list,
exceptionENV : (string * EA.moduleReference) list,
valENV : (string * AA.ty option) list
}
val emptyENVSet
val appendENVSet
val bindVal
val bindType
val bindException
val bindStructure
val bindSignature
val bindFunctor
val bindFunctorSignature
val bindModule
end
Datatype detail |
---|
datatype ENVSet =
ENVSet of
{
structureENV : (string * EA.moduleReference * ENVSet) list,
signatureENV : (string * EA.moduleReference * ENVSet) list,
functorENV : (string * EA.moduleReference * ENVSet) list,
functorSignatureENV : (string * EA.moduleReference * ENVSet) list,
typeENV : (string * EA.moduleReference) list,
exceptionENV : (string * EA.moduleReference) list,
valENV : (string * AA.ty option) list
}
DataConstructor detail |
---|
constructor ENVSet
: {
structureENV : (string * EA.moduleReference * ENVSet) list,
signatureENV : (string * EA.moduleReference * ENVSet) list,
functorENV : (string * EA.moduleReference * ENVSet) list,
functorSignatureENV :
(string * EA.moduleReference * ENVSet) list,
typeENV : (string * EA.moduleReference) list,
exceptionENV : (string * EA.moduleReference) list,
valENV : (string * AA.ty option) list
} ->
ENVSet
Value detail |
---|
val emptyENVSet
val appendENVSet
val bindVal
val bindType
val bindException
val bindStructure
val bindSignature
val bindFunctor
val bindFunctorSignature
val bindModule
| SMLDoc: Documentation generator for SML |