Module Err


module Err: sig .. end
Errors.

exception Error of string
An error caused by user input (and not the implementation), that is not further specified.