You can search for identifiers within the package.
in-package search v0.2.0
Kleene algebra with tests
type b
type t
val test : b -> t
include BA with type t := b
val ctrue : b
val cfalse : b
val conj : b -> b -> b
val disj : b -> b -> b
val neg : b -> b -> b
include 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