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