context addable
    with parameters
      T: a type

    with members
      ?+?: a function
          with parameters
            instance of type T 
            instance of type T 
          returning 
            instance of type T 


struct __anonymous0
    with members
      data: a instance of type T 
      next: a pointer to instance of type List 
        with parameters
          instance of type T 


List: a type for pointer to instance of struct __anonymous0 
  with parameters
    T: a type
      with assertions
        instance of context addable 
          with parameters
            instance of type T 



  with assertions
    instance of context addable 
      with parameters
        instance of type T 


ListOfIntegers: a typedef for instance of type List 
  with parameters
    signed int 

li: a instance of type ListOfIntegers 
f: a function
    with parameters
      g: a pointer to function
          with parameters
            signed int 
          returning 
            instance of type List 
              with parameters
                signed int 


    returning 
      signed int 

h: a function
    with parameters
      p: a pointer to instance of type List 
        with parameters
          signed int 

    returning 
      signed int 

struct node
    with parameters
      T: a type
        with assertions
          instance of context addable 
            with parameters
              instance of type T 



    with members
      data: a instance of type T 
      next: a pointer to instance of struct node 
        with parameters
          instance of type T 


List: a type for pointer to instance of struct node 
  with parameters
    instance of type T 

  with parameters
    T: a type

my_list: a instance of type List 
  with parameters
    signed int 

Complex: a type
  with assertions
    instance of context addable 
      with parameters
        instance of type Complex 


main: a function
    returning 
      signed int 
    with body 
      
        Expression Statement:
          Cast of:
            Name: my_list

          to:
            instance of struct node 
              with parameters
                signed int