You can search for identifiers within the package.
in-package search v0.2.0
type t = M0.t
type f0 = M0.f0
type f1 = M0.f1
type f2 = M0.f2
type f3 = M0.f3
val support0 : t -> f0 -> supp
val support1 : t -> f1 -> supp
val support2 : t -> f2 -> supp
val support3 : t -> f3 -> supp
val trivial0 : t -> f0 -> bool option
val trivial1 : t -> f1 -> bool option
val trivial2 : t -> f2 -> bool option
val trivial3 : t -> f3 -> bool option
val solve_variable : t -> int -> f0 list -> f1 list -> supp -> supp -> supp -> f1 list * f2
val solve_parameter : t -> int -> f0 list -> f1 list -> supp -> f3
val backproj : t -> int -> f3 -> f2 -> supp -> supp -> supp -> f3