WIP: implement lazy by lambda in EAst #2969

Annotations

10 warnings

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.

Automatically putting unit in Prop even though it was declared with

Automatically putting unit in Prop even though it was declared with

Automatically putting paths in Prop even though it was declared with

Notations "_ ^ _" defined at level 30 with arguments constr

Notations "_ ^ _" defined at level 30 with arguments constr