sig
  type error = Empty_name | Invalid_character of char
  exception Exception of ParameterName.error
  type t = private string
  val make : string -> ParameterName.t
end