| SMLDoc |
signature ELABORATOR =
sig
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
fun elaborate parameter envSet compileUnits
: DocumentGenerationParameter.parameter ->
ENVSet.ENVSet ->
AnnotatedAst.compileUnit list ->
ENVSet.ENVSet * ElaboratedAst.compileUnit list
parameter
envSet
compileUnits
| SMLDoc: Documentation generator for SML |