package mc2

  1. Overview
  2. Docs
type t = ID.t * Mc2_core__.Solver_types.ty
type Mc2_core__.Solver_types.term_view += private
  1. | BVar of ID.t * Mc2_core__.Solver_types.ty
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
OCaml

Innovation. Community. Security.