Module Error

module Error: sig .. end

Handling errors.

Internal module holding the exception of Error.

The module is included into Make_with_opt later and should not be used directly. However we need to have a separate module for the exception so that every exception built by Make is the exact same type.


module type S = sig .. end
module Make: 
functor (P : sig
val phase : Options.category
end-> S 

Functor to build an Error module for a given phase.

include Error.S

The Error module implements Error.S with no phase.