Commit | Line | Data |
---|---|---|
28875fec SK |
1 | type t |
2 | ||
fd2204fa | 3 | val unique_of_string : string -> t |
35dccbd3 | 4 | |
28875fec SK |
5 | val of_string : string -> t |
6 | ||
7 | val to_string : t -> string | |
35dccbd3 SK |
8 | (* Reversable. Returns original. *) |
9 | ||
10 | val show : t -> string | |
11 | (* Not-reversable. M-expression with name and symbol. *) | |
cbb4ffb6 SK |
12 | |
13 | val is_equal : t -> t -> bool |