Module CheckName

module CheckName: sig .. end

Names for checks.

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 check 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 underscore character.