let
var_mk_external x =
Var
.mk_var x
None