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