Module Verify.Bounded_Join_Semilattice

Parameters

Signature

include sig ... end
val identity : J.t -> bool