type t

val unique_of_string : string -> t

val of_string : string -> t

val to_string : t -> string
(* Reversable. Returns original. *)

val show : t -> string
(* Not-reversable. M-expression with name and symbol. *)

val is_equal : t -> t -> bool