val namedv_to_string (x: namedv) : Tac string
let namedv_to_string (x:namedv) : Tac string=
  unseal x.ppname ^ "#" ^ string_of_int x.uniq
val namedv_to_string (x: namedv) : Tac string
let namedv_to_string (x: namedv) : Tac string =
unseal x.ppname ^ "#" ^ string_of_int x.uniq
FStar.Tactics.Print.fst.checked
prims.fst.checked FStar.Tactics.V2.Derived.fst.checked FStar.Tactics.V2.Builtins.fsti.checked FStar.Tactics.NamedView.fsti.checked FStar.Tactics.Effect.fsti.checked FStar.Reflection.V2.fst.checked FStar.Pervasives.fsti.checked
FStar.Tactics.Print.fst
FStar.Tactics.NamedView.namedv Prims.op_Hat Prims.string_of_int FStar.Reflection.V2.Data.__proj__Mknamedv_view__item__uniq Prims.string FStar.Tactics.Unseal.unseal FStar.Reflection.V2.Data.__proj__Mknamedv_view__item__ppname
module FStar.Tactics.Print

open FStar.Reflection.V2
open FStar.Tactics.Effect
open FStar.Tactics.V2.Builtins
open FStar.Tactics.V2.Derived
open FStar.Tactics.NamedView
val namedv_to_string (x: namedv) : Tac string
x: FStar.Tactics.NamedView.namedv -> FStar.Tactics.Effect.Tac Prims.string