Module Bastet__Verify.Bounded_Join_Semilattice
Parameters
Signature
include sig ... end
val identity : J.t -> bool
Bastet__Verify.Bounded_Join_Semilatticeinclude sig ... endval identity : J.t -> bool