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

foo (A : *) (x y z : A) := x;

---

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