blork.rkt

#lang typed/racket

(require typed/rackunit)

(define-type PyExprC (U StrC StrAppC)) ;; imagine a bunch more stuff here...
(struct StrC ([s : String]) #:transparent)
(struct StrAppC ([l : PyExprC] [r : PyExprC]))

(define-type PyStmtC (U ReturnC)) ;; imagine a bunch more stuff here too...
(struct ReturnC ([val : PyExprC]) #:transparent)

#|
def f(x, y, z):
  return x + z

def g(z):
  return z + f("a","b","c")

g("y")
|#