- (*Some (CicNotationPt.Binder (`Lambda, (mk_id "y",None),
- CicNotationPt.Binder (`Forall, (mk_id "_", Some
- (mk_appl [mk_id "eq";CicNotationPt.Implicit
- `JustOne;(*CicNotationPt.Implicit `JustOne*)
+ (*Some (NotationPt.Binder (`Lambda, (mk_id "y",None),
+ NotationPt.Binder (`Forall, (mk_id "_", Some
+ (mk_appl [mk_id "eq";NotationPt.Implicit
+ `JustOne;(*NotationPt.Implicit `JustOne*)