You can search for identifiers within the package.
in-package search v0.2.0
type t
type f2
type f3
val support2 : t -> f2 -> supp
val support3 : t -> f3 -> supp
val backproj : t -> int -> f3 -> f2 -> supp -> supp -> supp -> f3