| SMLDoc |
structure Elaborator : ELABORATOR =
struct
type path = string list
val addExternalType : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val addExternalException : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val addExternalStructure : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val addExternalSignature : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val addExternalFunctor : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val addExternalFunctorSignature
: (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val elaborate
: DocumentGenerationParameter.parameter ->
ENVSet.ENVSet ->
AnnotatedAst.compileUnit list ->
ENVSet.ENVSet * ElaboratedAst.compileUnit list
end
Type detail |
---|
Value detail |
---|
val addExternalType : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val addExternalException : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val addExternalStructure : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val addExternalSignature : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val addExternalFunctor : (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val addExternalFunctorSignature
: (string * path) * ENVSet.ENVSet -> ENVSet.ENVSet
val elaborate
: DocumentGenerationParameter.parameter ->
ENVSet.ENVSet ->
AnnotatedAst.compileUnit list ->
ENVSet.ENVSet * ElaboratedAst.compileUnit list
This function does:
| SMLDoc: Documentation generator for SML |