| SMLDoc |
signature SUMMARIZER =
sig
type linkage
datatype traceDirection = SRCTODEST | DESTTOSRC
val summarize : ElaboratedAst.compileUnit list -> Binds.bind list * linkage
val getClosureOfLink
: traceDirection ->
Linkage.moduleLinkType list ->
linkage -> ElaboratedAst.moduleFQN -> Binds.bind list
end
Type detail |
---|
type linkage
Datatype detail |
---|
datatype traceDirection = SRCTODEST | DESTTOSRC
getClosureOfLink
DataConstructor detail |
---|
constructor SRCTODEST : traceDirection
constructor DESTTOSRC : traceDirection
Value detail |
---|
fun summarize compileUnits
: ElaboratedAst.compileUnit list -> Binds.bind list * linkage
compileUnits
fun getClosureOfLink direction linkTypes linkage startModule
: traceDirection ->
Linkage.moduleLinkType list ->
linkage -> ElaboratedAst.moduleFQN -> Binds.bind list
direction
linkTypes
linkage
startModule
| SMLDoc: Documentation generator for SML |