Previous
Up
Next
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.