let subst_equal (subst1: subst) (subst2: subst) : bool = subst1 == subst2 || Tools.lists_unordered_equal binding_equal subst1 subst2