Module Equality_sig

module Equality_sig: sig .. end
Signature for Equality module, that implements equalities over ordered types

type 't or_void = [ `Value of 't | `Void ] 
module type S = sig .. end
Representation of an equality between a set of elements.
module type Set = sig .. end
Sets of equalities.
module type S_with_collections = sig .. end