You can search for identifiers within the package.
in-package search v0.2.0
module Cnf : Cnf
val write : Pervasives.out_channel -> Cnf.t -> unit
val read_sat_result : string -> int list Result.t
val run : ?solver:string -> Cnf.t -> int list Result.t