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