let
get_bindings_term st my_var typ =
Logic_const
.term (
TLval
(get_bindings st my_var)) typ