You can search for identifiers within the package.
in-package search v0.2.0
type sol_nb
val add_sol_nb : sol_nb -> sol_nb -> sol_nb
val mult_sol_nb : sol_nb -> sol_nb -> sol_nb
val div_sol_nb : sol_nb -> sol_nb -> sol_nb
val zero_sol : sol_nb
val one_sol : sol_nb
val eq_sol_nb : sol_nb -> sol_nb -> bool
val two_power_of : int -> sol_nb
val float_of_sol_nb : sol_nb -> float
val string_of_sol_nb : sol_nb -> string
val sol_nb_of_float : float -> sol_nb