Module Via_join_and_bottom.Infix

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

Infix version of join.