You can search for identifiers within the package.
in-package search v0.2.0
BDDs form a boolean algebra.
val declare_var : string -> [ `Ok | `Duplicate ]
type t = t
val fls : t
val tru : t
val of_bool : bool -> t
val var : string -> t
val (&&) : t -> t -> t
val (||) : t -> t -> t
val (!) : t -> t
val (==) : t -> t -> bool