Module Bastet__Infix.Meet_Semilattice

Parameters

• M : Bastet.Interface.MEET_SEMILATTICE

Signature

val (<&&>) : M.t -> M.t -> M.t