Domains.Boolean
Lfts a numerical domain to a boolean one
module Make (N : Signature.Numeric) : Signature.Domain