You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.pretyping
Extern.FactorizeEqns
type t = {
factorize_match_patterns : bool;
allow_match_default_clause : bool;
}
val make_raw : t -> t
val current : unit -> t
val current_ignore_raw : unit -> t