You can search for identifiers within the package.
in-package search v0.2.0
type result
val delete : result -> unit
val equal : result -> result -> bool
val to_string : result -> string
val is_sat : result -> bool
val is_unsat : result -> bool
val is_unknown : result -> bool