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

?*?: a function
    with parameters
      signed int 
      signed int 
    returning 
      signed int 

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

          ?*?: a pointer to function
              with parameters
                instance of type T 
                instance of type T 
              returning 
                instance of type T 


    function
    with parameters
      t: a instance of type T 
    returning 
      instance of type T 
    with body 
      
        Return Statement, returning: Cast of:
  Application of
    Variable Expression: ?*?: a pointer to function
        with parameters
          instance of type T 
          instance of type T 
        returning 
          instance of type T 

  to arguments
          Variable Expression: t: a instance of type T 

          Variable Expression: t: a instance of type T 


to:
  instance of type T 
with environment:
  Types:
  Non-types:



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

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


    function
    with parameters
      u: a instance of type U 
    returning 
      instance of type U 
    with body 
      
        Return Statement, returning: Cast of:
  Application of
    Variable Expression: square: a pointer to function
        with parameters
          instance of type U 
        returning 
          instance of type U 

  to arguments
          Application of
        Variable Expression: square: a pointer to function
            with parameters
              instance of type U 
            returning 
              instance of type U 

      to arguments
                  Variable Expression: u: a instance of type U 



to:
  instance of type U 
with environment:
  Types:
  Non-types:



f: a function
      accepting unspecified arguments
    returning 
      nothing 
    with body 
      
        Expression Statement:
          Application of
            Variable Expression: quad: a 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 

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


                function
                with parameters
                  u: a instance of type U 
                returning 
                  instance of type U 

          to arguments
                          Constant Expression: 7 (type: signed int )
          with inferred parameters:
            ?=?: a function
              with parameters
                pointer to signed int 
                signed int 
              returning 
                signed int 

            ?*?: a function
              with parameters
                signed int 
                signed int 
              returning 
                signed int 

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

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

                    ?*?: a pointer to function
                        with parameters
                          instance of type T 
                          instance of type T 
                        returning 
                          instance of type T 


              function
              with parameters
                t: a instance of type T 
              returning 
                instance of type T 

          with environment:
            Types:
              _0_U -> signed int 
              _1_T -> signed int 
            Non-types: