You can search for identifiers within the package.
in-package search v0.2.0
mc2.core
Mc2_core.Bound_var
type t = ID.t * Mc2_core__.Solver_types.ty
type Mc2_core__.Solver_types.term_view += private
| BVar of ID.t * Mc2_core__.Solver_types.ty
val pp : t CCFormat.printer
val pp_with_ty : t CCFormat.printer
val k_bvar : (t -> Mc2_core__.Solver_types.term) Service.Key.t
Service for turning a bound-variable into a term
val plugin : Plugin.Factory.t