-notation > "\exists list1 ident x sep , : T. term 19 Px"
- with precedence 20
-for
- @{ ${ fold right @{$Px} rec acc @{'exists (λ${ident x}:$T.$acc)} } }.
-
-notation > "\exists list1 ident x sep , . term 19 Px"
- with precedence 20
-for
- @{ ${ fold right @{$Px} rec acc @{'exists (λ${ident x}.$acc)} } }.
-
-(*