let
bind_lvar env lv term =
{ env
with
lvars =
Logic_var
.
Map
.add lv (
Logic_term
term) env.lvars }