- let outtype= CicNotationPt.Binder (`Lambda, (arg, Some arg_ty), outtype) in
- [arg, Some arg_ty], CicNotationPt.Case (arg,None,Some outtype,[branch])
+ let outtype= NotationPt.Binder (`Lambda, (arg, Some arg_ty), outtype) in
+ [arg, Some arg_ty], NotationPt.Case (arg,None,Some outtype,[branch])