Up – bastet » Bastet » Verify » Lattice

Module `Verify.Lattice`

Parameters

L : Interface.LATTICE

Signature

include sig ... end

val absorption : L.t -> L.t -> bool