val paren (s: string) : string
let paren (s:string) : string = "(" ^ s ^ ")"
val paren (s: string) : string
let paren (s: string) : string =
"(" ^ s ^ ")"
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
Prims.string Prims.op_Hat
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

let namedv_to_string (x:namedv) : Tac string=
  unseal x.ppname ^ "#" ^ string_of_int x.uniq
val paren (s: string) : string
s: Prims.string -> Prims.string