Module type Sig.WITH_INTER

Equips lattices with the ability to compute intersections: inter : t -> t -> t, also called meet, the greatest lower bound.

type t

val inter : t -> t -> t