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

?=?: a forall
      DT: a incomplete type
    function
    with parameters
      pointer to pointer to instance of type DT 
      pointer to instance of type DT 
    returning 
      pointer to instance of type DT 

a: 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 
            nothing 

      Declaration of g: a function
          with parameters
            p: a pointer to forall
                  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 U 
                returning 
                  nothing 

          returning 
            nothing 

      
        Expression Statement:
          Application of
            Variable Expression: g: a function
                with parameters
                  p: a pointer to forall
                        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 U 
                      returning 
                        nothing 

                returning 
                  nothing 

          to arguments
                          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 
                    nothing 


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

          with environment:
            Types:
              _1_T -> instance of type _0_U 
            Non-types:


g: a function
      accepting unspecified arguments
    returning 
      nothing 
    with body 
      Declaration of h: a function
          with parameters
            null: a pointer to signed int 
          returning 
            nothing 

      Declaration of id: 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 0: a forall
            T: a incomplete type
          pointer to instance of type T 
      Declaration of 0: a signed int 
      
        Expression Statement:
          Application of
            Variable Expression: h: a function
                with parameters
                  null: a pointer to signed int 
                returning 
                  nothing 

          to arguments
                          Application of
                Variable Expression: id: 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
                                  Application of
                    Variable Expression: id: 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
                                          Application of
                        Variable Expression: id: 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: 0: a forall
                                T: a incomplete type
                              pointer to instance of type T 

                      with inferred parameters:
                        ?=?: a forall
                            DT: a incomplete type
                          function
                          with parameters
                            pointer to pointer to instance of type DT 
                            pointer to instance of type DT 
                          returning 
                            pointer to instance of type DT 


                  with inferred parameters:
                    ?=?: a forall
                        DT: a incomplete type
                      function
                      with parameters
                        pointer to pointer to instance of type DT 
                        pointer to instance of type DT 
                      returning 
                        pointer to instance of type DT 


              with inferred parameters:
                ?=?: a forall
                    DT: a incomplete type
                  function
                  with parameters
                    pointer to pointer to instance of type DT 
                    pointer to instance of type DT 
                  returning 
                    pointer to instance of type DT 


          with environment:
            Types:
              _0_T -> forall
                    _3_T: a incomplete type
                  pointer to instance of type _3_T 
              _1_T -> forall
                    _3_T: a incomplete type
                  pointer to instance of type _3_T 
              _2_T -> forall
                    _3_T: a incomplete type
                  pointer to instance of type _3_T 
              _3_T -> signed int 
              _5_DT -> signed int 
              _7_DT -> signed int 
              _9_DT -> signed int 
            Non-types: