Module 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.