| SMLDoc |
structure FileID :> FILE_ID =
struct
type ord_key = id
datatype id = PRESENT of F.file_id | ABSENT of string
val compare : id * id -> order
val fileId : string -> id
val canonical : string -> string
end
Type detail |
---|
type ord_key = id
Datatype detail |
---|
datatype id = PRESENT of F.file_id | ABSENT of string
DataConstructor detail |
---|
constructor PRESENT : F.file_id -> id
constructor ABSENT : string -> id
Value detail |
---|
val compare : id * id -> order
val canonical : string -> string
| SMLDoc: Documentation generator for SML |