let
term_mk_var str =
let
x =
Name
.of_string str
in
Term
.mk_var x
None