You can search for identifiers within the package.
in-package search v0.2.0
minisat
Minisat.Debug
val to_dimacs_file : t -> string -> unit
to_dimacs_file solver path writes the solver's set of clauses into the file at path.
to_dimacs_file solver path
path