Module OutputName

module OutputName: sig .. end
Names for outputs.

type error = 
| Empty_name
| Invalid_character of char
exception Exception of error
Exception to be raised when a function of this module fails.
type t = private string 
The type of output names, respecting the "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.