You can search for identifiers within the package.
in-package search v0.2.0
type ctxt
val allocate_ctxt : unit -> ctxt
val constants_init : Fr.t array -> Fr.t array array -> int -> int -> int -> int
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