You can search for identifiers within the package.
in-package search v0.2.0
ezdl
gbddml
lutin
lutin-utils
lutin.bddrand
polka
LutinUtils
val gauss_continue : int -> int -> int -> int
val gauss_stop : int -> int -> int -> int
val interval_continue : int -> int -> int -> int
val interval_stop : int -> int -> int -> int