You can search for identifiers within the package.
in-package search v0.2.0
preface.make
Via.Infix
type t = Core.t
The type held by the Join_semillatice.
Join_semillatice
val (||) : t -> t -> t
Infix version of join.
join
val (&&) : t -> t -> t
Infix version of meet.
meet