let binding_equal (binding1: binding) (binding2: binding) : bool =
  (var_equal binding1.sb_var binding2.sb_var)
  &&
  (term_equal binding1.sb_term binding2.sb_term)