let
request_var (var: var) : term =
let
new_term =
Var
var
in
request_term new_term