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;mk_id "y"])),
+ `JustOne;(*CicNotationPt.Implicit `JustOne*)
+ mk_appl (mk_id (kname it i)::ts);mk_id "y"])),
CicNotationPt.Implicit `JustOne ))),
List.map
(fun j ->