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

def rel := forall (A : ★) (x : A), ★;

----------

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