You can search for identifiers within the package.
in-package search v0.2.0
type ctxt
val allocate_ctxt : unit -> ctxt
val constants_init : unit -> unit
val finalize : unit -> unit
val init : ctxt -> Fr.t -> Fr.t -> Fr.t -> unit
val apply_perm : ctxt -> unit
val get_state : Fr.t -> Fr.t -> Fr.t -> ctxt -> unit