module OutputName:sig
..end
type
error =
| |
Empty_name |
| |
Invalid_character of |
exception Exception of error
typet = private
string
a-z\-
+" regular expression.val make : string -> t
make x
returns the check name equal to x
.
Raises Exception
if x
is either empty, or contains a character that is
neither a lowercase letter, nor the minus sign.