You can search for identifiers within the package.
in-package search v0.2.0
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