Up
–
preface
»
Preface_make
»
Meet_semilattice
»
Via_meet
» Infix
Module
Via_meet.Infix
val
(&&) :
t
->
t
->
t
Infix version of
meet
.