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