Up – bastet » Bastet » Test » Float » M » Meet_Semilattice » 2-A

Parameter `Meet_Semilattice.2-A`

val make : MS.t Q.arbitrary