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