Up – preface » Preface_make » Bounded_meet_semilattice » Via_meet_and_top » Infix

Module `Via_meet_and_top.Infix`

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

Infix version of meet.