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