| SMLDoc |
structure Binds =
struct
datatype bind =
SigBind of EA.sigb
| FsigBind of EA.fsigb
| StrBind of EA.strb
| FctBind of EA.fctb
| TypeBind of EA.tb
| DataTypeBind of EA.db
| ConstructorBind of EA.cb
| ExceptionBind of EA.eb
| ValBind of EA.vb
val getModuleFQN
val getName
val getOptDC
val isSigBind
val isFsigBind
val isStrBind
val isFctBind
val isTypeBind
val isDataTypeBind
val isConstructorBind
val isExceptionBind
val isValBind
end
Datatype detail |
---|
datatype bind =
SigBind of EA.sigb
| FsigBind of EA.fsigb
| StrBind of EA.strb
| FctBind of EA.fctb
| TypeBind of EA.tb
| DataTypeBind of EA.db
| ConstructorBind of EA.cb
| ExceptionBind of EA.eb
| ValBind of EA.vb
DataConstructor detail |
---|
constructor SigBind : EA.sigb -> bind
constructor FsigBind : EA.fsigb -> bind
constructor StrBind : EA.strb -> bind
constructor FctBind : EA.fctb -> bind
constructor TypeBind : EA.tb -> bind
constructor DataTypeBind : EA.db -> bind
constructor ConstructorBind : EA.cb -> bind
constructor ExceptionBind : EA.eb -> bind
constructor ValBind : EA.vb -> bind
Value detail |
---|
val getModuleFQN
val getName
val getOptDC
val isSigBind
val isFsigBind
val isStrBind
val isFctBind
val isTypeBind
val isDataTypeBind
val isConstructorBind
val isExceptionBind
val isValBind
| SMLDoc: Documentation generator for SML |