Module type `Bounded_lattice.INFIX`

Infix operators.

type t

The type held by the Bounded_join_semilattice

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

Infix version of join.

val (&&) : t -> t -> t

Infix version of meet.