Backward compatible fixes for update of equations funelim tactic bugfix. #2765

Annotations

3 errors and 8 warnings

The job was canceled because "dev_4_09-flambda_opam" failed.

The reference funelim_nosimp was not found in the current environment.

The operation was canceled.

Notation "_ =1 _" was already used in scope type_scope.

Notation "_ =2 _" was already used in scope type_scope.

Overwriting previous delimiting key B in scope bool_scope

Notation "_ =1 _" was already used in scope type_scope.

Notation "_ =2 _" was already used in scope type_scope.

Notation "_ =1 _" was already used in scope type_scope.

Notation "_ =2 _" was already used in scope type_scope.

Using Vector.t is known to be technically difficult, see