?=?: 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 double 
      double 
    returning 
      double 

g: 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 

          f: a pointer to function
              with parameters
                instance of type T 
              returning 
                instance of type U 


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

f: a function
    with parameters
      signed int 
    returning 
      float 

f: a function
    with parameters
      signed int 
    returning 
      double 

i: a function
    with parameters
      float 
    returning 
      nothing 

h: a function
      accepting unspecified arguments
    returning 
      nothing 
    with body 
      Declaration of a: a signed int 
      
        Expression Statement:
          Application of
            Variable Expression: i: a function
                with parameters
                  float 
                returning 
                  nothing 

          to arguments
                          Application of
                Variable Expression: g: 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 

                          f: a pointer to function
                              with parameters
                                instance of type T 
                              returning 
                                instance of type U 


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

              to arguments
                                  Variable Expression: a: a signed int 

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

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

                f: a function
                  with parameters
                    signed int 
                  returning 
                    float 


          with environment:
            Types:
              _0_T -> signed int 
              _1_U -> float 
            Non-types:


context has_f_and_j
    with parameters
      T: a type
      U: a type

    with members
      f: a function
          with parameters
            instance of type T 
          returning 
            instance of type U 

      j: a function
          with parameters
            instance of type T 
            instance of type U 
          returning 
            instance of type U 


j: a function
    with parameters
      signed int 
      float 
    returning 
      float 

k: 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 

          f: a pointer to function
              with parameters
                instance of type T 
              returning 
                instance of type U 

          j: a pointer to function
              with parameters
                instance of type T 
                instance of type U 
              returning 
                instance of type U 


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

l: a function
      accepting unspecified arguments
    returning 
      nothing 
    with body 
      Declaration of b: a signed int 
      
        Expression Statement:
          Application of
            Variable Expression: i: a function
                with parameters
                  float 
                returning 
                  nothing 

          to arguments
                          Application of
                Variable Expression: k: 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 

                          f: a pointer to function
                              with parameters
                                instance of type T 
                              returning 
                                instance of type U 

                          j: a pointer to function
                              with parameters
                                instance of type T 
                                instance of type U 
                              returning 
                                instance of type U 


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

              to arguments
                                  Variable Expression: b: a signed int 

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

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

                f: a function
                  with parameters
                    signed int 
                  returning 
                    float 

                j: a function
                  with parameters
                    signed int 
                    float 
                  returning 
                    float 


          with environment:
            Types:
              _0_T -> signed int 
              _1_U -> float 
            Non-types: