You can search for identifiers within the package.
in-package search v0.2.0
method virtual dispose : unit
method virtual add_variable : int
method virtual add_clause : int array -> unit
method virtual solve : solve_result
method virtual solve_with_assumptions : int list -> solve_result
method virtual get_assignment : int -> bool
method incremental_reset : unit
method virtual print_dimacs : Stdlib.out_channel -> unit