You can search for identifiers within the package.
in-package search v0.2.0
type problem
val problem_of_cudf : Cudf.cudf -> problem
val resolve_cudf : ?verbose:bool -> string -> Cudf.cudf -> Cudf.solution option
val solver_id : string