Up – preface » Preface_make » Bounded_join_semilattice » Over_join_semilattice_and_via_bottom » Infix

Module `Over_join_semilattice_and_via_bottom.Infix`

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

Infix version of join.