Module Infix.Join_Semilattice

Parameters

• J : Interface.JOIN_SEMILATTICE

Signature

val (<||>) : J.t -> J.t -> J.t