::= (program * ) ::= (define ) ::= (void) | | | | (lambda (*) ) | None | Ellipsis | $halt | #t | #f | (set *) | (dict ( )*) | (tuple *) | (py-list* *) ::= (error ) | (if ) | (set-then! ) | ( *) | ((cps ) ) | ((cps ) ) | ((cps ) ) | ( *) ::= for-set-k | for-py-list-k | for-tuple-k | for-dict-k ::= py-list-set! | dict-set! | tuple-set! ::= < | > | equal? | >= | <= | not-equal? | in? | not-in? | eq? | not-eq? | << | >> | + | - | * | / | quotient | modulo | expt | assert2 | bitwise-and | bitwise-or | bitwise-xor | py-list-ref | py-list-remove! | tuple-ref | dict-ref | dict-remove! ::= bitwise-not | + | - | integer? | string? | tuple? | dict? | py-list? | set? | assert1 | py-print | not