Module Infix.Meet_Semilattice

Parameters

• M : Interface.MEET_SEMILATTICE

Signature

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