| SMLDoc |
structure LinkFile =
struct
structure EA = ElaboratedAst
datatype item =
ModuleDefine of (EA.moduleType * string) * item list
| ModuleReplica of (EA.moduleType * string) * EA.moduleFQN
| TypeDefine of string
| TypeReplica of string * EA.moduleFQN
| ValDefine of string
| ExceptionDefine of string
end
Datatype detail |
---|
datatype item =
ModuleDefine of (EA.moduleType * string) * item list
| ModuleReplica of (EA.moduleType * string) * EA.moduleFQN
| TypeDefine of string
| TypeReplica of string * EA.moduleFQN
| ValDefine of string
| ExceptionDefine of string
DataConstructor detail |
---|
constructor ModuleDefine : (EA.moduleType * string) * item list -> item
constructor ModuleReplica : (EA.moduleType * string) * EA.moduleFQN -> item
constructor TypeDefine : string -> item
constructor TypeReplica : string * EA.moduleFQN -> item
constructor ValDefine : string -> item
constructor ExceptionDefine : string -> item
| SMLDoc: Documentation generator for SML |