Module Exc

module Exc: sig  end

The module Exc defines the exceptions for indicating inconsistencies and validity.
Author(s): Harald Ruess

exception Inconsistent

exception Valid

exception Incomplete