- | term TO term { T.Binder (`Pi,($1,None),$3) }
- | term IEQ term { T.Appl [T.Symbol("'eq",0);$1;$3] }
- | term IAND term { T.Appl [T.Symbol("'and",0);$1;$3] }
- | term IOR term { T.Appl [T.Symbol("'or",0);$1;$3] }
- | NOT term { T.Appl [T.Symbol("'not",0);$2] }
+ | term TO term { T.Binder (`Forall,(T.Ident("_",None),Some $1),$3) }
+ | term IMPLY term { T.Binder (`Forall,(T.Ident("_",None),Some $1),$3) }
+ | term IEQ term { T.Appl [T.Symbol("Eq",0);$1;$3] }
+ | term IAND term { T.Appl [T.Symbol("And",0);$1;$3] }
+ | term IOR term { T.Appl [T.Symbol("Or",0);$1;$3] }
+ | NOT term { T.Appl [T.Symbol("Not",0);$2] }