You can search for identifiers within the package.
in-package search v0.2.0
idd
Algebra.GKAT
Guarded 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
val zero : t
val one : t
val seq : t -> t -> t
val ite : b -> t -> t
val whl : b -> t