Module `Lattice.Infix`

Parameters

module Core : Preface_specs.Lattice.CORE

Signature

type t = Core.t

The type held by the Join_semillatice.

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

Infix version of join.

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

Infix version of meet.