| SMLDoc |
structure CMSemantic :> CM_SEMANTIC =
struct
datatype addsym = PLUS | MINUS
datatype mulsym = TIMES | DIV | MOD
datatype eqsym = EQ | NE
datatype ineqsym = GT | GE | LT | LE
datatype pathName = StandardPathName of string | NativePathName of string
datatype description =
Group of (pathName * string option) list | Alias of pathName
end
Datatype detail |
---|
datatype addsym = PLUS | MINUS
datatype mulsym = TIMES | DIV | MOD
datatype ineqsym = GT | GE | LT | LE
datatype pathName = StandardPathName of string | NativePathName of string
datatype description =
Group of (pathName * string option) list | Alias of pathName
DataConstructor detail |
---|
constructor PLUS : addsym
constructor MINUS : addsym
constructor TIMES : mulsym
constructor DIV : mulsym
constructor MOD : mulsym
constructor EQ : eqsym
constructor NE : eqsym
constructor GT : ineqsym
constructor GE : ineqsym
constructor LT : ineqsym
constructor LE : ineqsym
constructor StandardPathName : string -> pathName
constructor NativePathName : string -> pathName
constructor Group : (pathName * string option) list -> description
constructor Alias : pathName -> description
| SMLDoc: Documentation generator for SML |