Domains.B
Type of generic functors that lift a numeric domain to a boolean one
module Make (N : Signature.Numeric) : Signature.Domain