let
mk_var x d =
Var
(
Var
.mk_var x d)