3 val unique_of_string : string -> t
5 val of_string : string -> t
7 val to_string : t -> string
8 (* Reversable. Returns original. *)
10 val show : t -> string
11 (* Not-reversable. M-expression with name and symbol. *)
13 val is_equal : t -> t -> bool