Module Bastet__Verify.Lattice

Parameters

Signature

include sig ... end
val absorption : L.t -> L.t -> bool