preface.make
Via.Infix
preface
preface.core
preface.laws
preface.qcheck
preface.specs
preface.stdlib
type t = Core.t
The type held by the Bounded_join_semilattice
Bounded_join_semilattice
val (||) : t -> t -> t
Infix version of join.
join