Domains.Utree
Disjunctive form with fast-precomputation for meets
module Make (N : Signature.Numeric) : Signature.Domain