Libabsolute.Iterator
This module converts the constraints into an internal state and handles the order of filtering
module Make (D : Signature.Domain) : sig ... end