Module type Join_semilattice.INFIX

Infix operators.

type t

The type held by the Join_semillatice.

val (||) : t -> t -> t

Infix version of join.