Module InvGenDomain

module InvGenDomain: sig .. end
Exception thrown when a domain is asked to build a trivial implication.

exception TrivialRelation
module type Domain = sig .. end
Signature of the modules describing an order relation over some values.
module Bool: Domain 
Boolean domain with implication.
module Int: Domain 
Integer domain with less than or equal to.
module Real: Domain 
Real domain with less than or equal to.