Ldd
module type Ordered = Ldd_intf.Ordered
module Make (V : Ordered) : sig ... end
Lattice polynomial terms built from joins, meets, constants, and variables. The interface supports least and greatest fixpoint solving over these terms.