type t val of_string : string -> t val to_string : t -> string val is_equal : t -> t -> bool