let
record_constructor tenv x =
let
v = symbol tenv (
TName
"pi"
)
in
TTerm
(
App
(v, x))