sig
  type t
  val of_string : string -> Name.t
  val of_list : string list -> Name.t
  val to_string : Name.t -> string
  val to_list : Name.t -> string list
end