(`Pi, (mk_id "_",Some (NotationPt.Appl
[ NotationPt.Implicit `JustOne
; NotationPt.Implicit `JustOne
; NotationPt.UserInput
; NotationPt.Implicit `JustOne
; NotationPt.Implicit `JustOne ])),
(`Pi, (mk_id "_",Some (NotationPt.Appl
[ NotationPt.Implicit `JustOne
; NotationPt.Implicit `JustOne
; NotationPt.UserInput
; NotationPt.Implicit `JustOne
; NotationPt.Implicit `JustOne ])),