Up – bastet » Bastet » Test » Option » M » Bounded_Join_Semilattice » 2-A

Parameter `Bounded_Join_Semilattice.2-A`

val make : BJS.t Q.arbitrary