You can search for identifiers within the package.
in-package search v0.2.0
val test : Bdd.t -> t
include Algebra.BA with type t := Bdd.t
val ctrue : Bdd.t
val cfalse : Bdd.t
val conj : Bdd.t -> Bdd.t -> Bdd.t
val disj : Bdd.t -> Bdd.t -> Bdd.t
val neg : Bdd.t -> Bdd.t -> Bdd.t
include Algebra.KA with type t := t
val zero : t
val one : t
val seq : t -> t -> t
val union : t -> t -> t
val star : t -> t