Module Cduce_types.Bool
Representation of formulæ.
module type S = sig ... endA general compact representation for a formula using union, intersection and negation between atoms. This is used for sets of type constructors for which, unlike for basic types, there isn't a single canonical formula.