- | atom { $1 }
- | OA term CA fs term { T.Cast ($2, $5) }
- | OP term CP fs term { T.Appl ([$2], $5) }
- | OP terms CP fs term { T.Appl ($2, $5) }
- | OB binder CB fs term { T.Bind ($2, $5) }
- | term WTO term { T.Impl (false, "", $1, $3) }
- | ID TE term WTO term { T.Impl (false, $1, $3, $5) }
- | term STO term { T.Impl (true, "", $1, $3) }
- | ID TE term STO term { T.Impl (true, $1, $3, $5) }
- | OP term CP { $2 }
+ | atom { $1 }
+ | OA term CA fs term { T.Cast ($2, $5) }
+ | OP term CP fs term { T.Appl ([$2], $5) }
+ | OP terms CP fs term { T.Appl ($2, $5) }
+ | OB binder CB level fs term { T.Bind ($4, $2, $6) }
+ | term WTO level term { T.Impl ($3, false, "", $1, $4) }
+ | ID TE term WTO level term { T.Impl ($5, false, $1, $3, $6) }
+ | term STO level term { T.Impl ($3, true, "", $1, $4) }
+ | ID TE term STO level term { T.Impl ($5, true, $1, $3, $6) }
+ | OP term CP { $2 }