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