Via (preface.Preface_make.Meet

Parameters

module Core : Preface_specs.Meet_semilattice.CORE

module Infix : Preface_specs.Meet_semilattice.INFIX with type t = Core.t

type t = Infix.t

The type held by the Meet_semilattice.

val meet : t -> t -> t

meet x y is the greatest lower bound of {x, y}.

module Infix : Preface_specs.Meet_semilattice.INFIX with type t := t

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

Infix version of meet.