?=?: a function
    with parameters
      pointer to signed int 
      signed int 
    returning 
      signed int 

?=?: a function
    with parameters
      pointer to float 
      float 
    returning 
      float 

?=?: a function
    with parameters
      pointer to pointer to signed int 
      pointer to signed int 
    returning 
      pointer to signed int 

?=?: a function
    with parameters
      pointer to pointer to float 
      pointer to float 
    returning 
      pointer to float 

?=?: a function
    with parameters
      pointer to char 
      char 
    returning 
      char 

?=?: a function
    with parameters
      pointer to pointer to function
          returning 
            nothing 

      pointer to function
          returning 
            nothing 

    returning 
      pointer to function
          returning 
            nothing 


g1: a function
      accepting unspecified arguments
    returning 
      nothing 
    with body 
      Declaration of f: a forall
            T: a type
              with assertions
                ?=?: a pointer to function
                    with parameters
                      pointer to instance of type T 
                      instance of type T 
                    returning 
                      instance of type T 


          function
          with parameters
            instance of type T 
          returning 
            instance of type T 

      Declaration of f: a function
          with parameters
            signed int 
          returning 
            nothing 

      Declaration of h: a function
          with parameters
            p: a pointer to function
                returning 
                  nothing 

          returning 
            nothing 

      Declaration of x: a signed int 
      Declaration of y: a pointer to function
          returning 
            nothing 

      Declaration of z: a char 
      Declaration of w: a float 
      
        Expression Statement:
          Application of
            Variable Expression: f: a function
                with parameters
                  signed int 
                returning 
                  nothing 

          to arguments
                          Variable Expression: x: a signed int 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: f: a forall
                  T: a type
                    with assertions
                      ?=?: a pointer to function
                          with parameters
                            pointer to instance of type T 
                            instance of type T 
                          returning 
                            instance of type T 


                function
                with parameters
                  instance of type T 
                returning 
                  instance of type T 

          to arguments
                          Variable Expression: y: a pointer to function
                  returning 
                    nothing 


          with inferred parameters:
            ?=?: a function
              with parameters
                pointer to pointer to function
                    returning 
                      nothing 

                pointer to function
                    returning 
                      nothing 

              returning 
                pointer to function
                    returning 
                      nothing 


          with environment:
            Types:
              _0_T -> pointer to function
                  returning 
                    nothing 

            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: f: a function
                with parameters
                  signed int 
                returning 
                  nothing 

          to arguments
                          Cast of:
                Variable Expression: z: a char 

              to:
                signed int 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: f: a forall
                  T: a type
                    with assertions
                      ?=?: a pointer to function
                          with parameters
                            pointer to instance of type T 
                            instance of type T 
                          returning 
                            instance of type T 


                function
                with parameters
                  instance of type T 
                returning 
                  instance of type T 

          to arguments
                          Variable Expression: w: a float 

          with inferred parameters:
            ?=?: a function
              with parameters
                pointer to float 
                float 
              returning 
                float 

          with environment:
            Types:
              _0_T -> float 
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: h: a function
                with parameters
                  p: a pointer to function
                      returning 
                        nothing 

                returning 
                  nothing 

          to arguments
                          Application of
                Variable Expression: f: a forall
                      T: a type
                        with assertions
                          ?=?: a pointer to function
                              with parameters
                                pointer to instance of type T 
                                instance of type T 
                              returning 
                                instance of type T 


                    function
                    with parameters
                      instance of type T 
                    returning 
                      instance of type T 

              to arguments
                                  Variable Expression: y: a pointer to function
                      returning 
                        nothing 


              with inferred parameters:
                ?=?: a function
                  with parameters
                    pointer to pointer to function
                        returning 
                          nothing 

                    pointer to function
                        returning 
                          nothing 

                  returning 
                    pointer to function
                        returning 
                          nothing 



          with environment:
            Types:
              _0_T -> pointer to function
                  returning 
                    nothing 

            Non-types:


g2: a function
      accepting unspecified arguments
    returning 
      nothing 
    with body 
      Declaration of f: a forall
            T: a type
              with assertions
                ?=?: a pointer to function
                    with parameters
                      pointer to instance of type T 
                      instance of type T 
                    returning 
                      instance of type T 


          function
          with parameters
            instance of type T 
            instance of type T 
          returning 
            nothing 

      Declaration of f: a forall
            T: a type
              with assertions
                ?=?: a pointer to function
                    with parameters
                      pointer to instance of type T 
                      instance of type T 
                    returning 
                      instance of type T 


            U: a type
              with assertions
                ?=?: a pointer to function
                    with parameters
                      pointer to instance of type U 
                      instance of type U 
                    returning 
                      instance of type U 


          function
          with parameters
            instance of type T 
            instance of type U 
          returning 
            nothing 

      Declaration of x: a signed int 
      Declaration of y: a float 
      Declaration of z: a pointer to signed int 
      Declaration of w: a pointer to float 
      
        Expression Statement:
          Application of
            Variable Expression: f: a forall
                  T: a type
                    with assertions
                      ?=?: a pointer to function
                          with parameters
                            pointer to instance of type T 
                            instance of type T 
                          returning 
                            instance of type T 


                function
                with parameters
                  instance of type T 
                  instance of type T 
                returning 
                  nothing 

          to arguments
                          Cast of:
                Variable Expression: x: a signed int 

              to:
                float 

                          Variable Expression: y: a float 

          with inferred parameters:
            ?=?: a function
              with parameters
                pointer to float 
                float 
              returning 
                float 

          with environment:
            Types:
              _0_T -> float 
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: f: a forall
                  T: a type
                    with assertions
                      ?=?: a pointer to function
                          with parameters
                            pointer to instance of type T 
                            instance of type T 
                          returning 
                            instance of type T 


                  U: a type
                    with assertions
                      ?=?: a pointer to function
                          with parameters
                            pointer to instance of type U 
                            instance of type U 
                          returning 
                            instance of type U 


                function
                with parameters
                  instance of type T 
                  instance of type U 
                returning 
                  nothing 

          to arguments
                          Variable Expression: z: a pointer to signed int 

                          Variable Expression: w: a pointer to float 

          with inferred parameters:
            ?=?: a function
              with parameters
                pointer to pointer to signed int 
                pointer to signed int 
              returning 
                pointer to signed int 

            ?=?: a function
              with parameters
                pointer to pointer to float 
                pointer to float 
              returning 
                pointer to float 

          with environment:
            Types:
              _1_T -> pointer to signed int 
              _2_U -> pointer to float 
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: f: a forall
                  T: a type
                    with assertions
                      ?=?: a pointer to function
                          with parameters
                            pointer to instance of type T 
                            instance of type T 
                          returning 
                            instance of type T 


                  U: a type
                    with assertions
                      ?=?: a pointer to function
                          with parameters
                            pointer to instance of type U 
                            instance of type U 
                          returning 
                            instance of type U 


                function
                with parameters
                  instance of type T 
                  instance of type U 
                returning 
                  nothing 

          to arguments
                          Variable Expression: x: a signed int 

                          Variable Expression: z: a pointer to signed int 

          with inferred parameters:
            ?=?: a function
              with parameters
                pointer to signed int 
                signed int 
              returning 
                signed int 

            ?=?: a function
              with parameters
                pointer to pointer to signed int 
                pointer to signed int 
              returning 
                pointer to signed int 

          with environment:
            Types:
              _1_T -> signed int 
              _2_U -> pointer to signed int 
            Non-types: