Module `Mc2_core.Bound_var`

type t = Mc2_core__.Solver_types.bound_var

type Mc2_core__.Solver_types.term_view += BVar of Mc2_core__.Solver_types.bound_var

val pp : t Mc2_core__.Solver_types.Fmt.printer
val pp_with_ty : t Mc2_core__.Solver_types.Fmt.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