| SMLDoc |
structure Summarizer : SUMMARIZER =
struct
type linkage = B.bind list * L.moduleLinkType list DG.graph
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 = B.bind list * L.moduleLinkType list DG.graph
Datatype detail |
---|
datatype traceDirection = SRCTODEST | DESTTOSRC
DataConstructor detail |
---|
constructor SRCTODEST : traceDirection
constructor DESTTOSRC : traceDirection
Value detail |
---|
val summarize : ElaboratedAst.compileUnit list -> Binds.bind list * linkage
val getClosureOfLink
: traceDirection ->
Linkage.moduleLinkType list ->
linkage -> ElaboratedAst.moduleFQN -> Binds.bind list
| SMLDoc: Documentation generator for SML |