==========
Definition
==========

def foo (A : ★) (x y z : A) := x;

---

    (program
      (definition
        (identifier)
        (param_block
          (identifier)
          (expr
            (app_term
              (binex
                (app
                  (term
                    (sort
                      (star))))))))
        (param_block
          (identifier)
          (identifier)
          (identifier)
          (expr
            (app_term
              (binex
                (app
                  (term
                    (identifier)))))))
        (expr
          (app_term
            (binex
              (app
                (term
                  (identifier))))))))