==============
Pi Abstraction
==============

rel := forall (A : *) (x : A), *;

----------

(program
  (definition
    (identifier)
    (expr
      (app_term
        (pabs
          (pi)
          (param_block
            (param
              (identifier))
            (type
              (expr
                (app_term
                  (app
                    (term
                      (star)))))))
          (param_block
            (param
              (identifier))
            (type
              (expr
                (app_term
                  (app
                    (term
                      (identifier)))))))
          (expr
            (app_term
              (app
                (term
                  (star))))))))))