You can search for identifiers within the package.
in-package search v0.2.0
type solver
val create : unit -> solver
val destroy : solver -> unit
val add_clause : solver -> int list -> unit
val solve : solver -> unit Result.t
val solve_with_model : solver -> int list Result.t
val model : solver -> int -> Lbool.t