f: a typedef definition for pointer to forall 
      T: a type variable 
function
    with parameters 
      int 
    returning int 

swap: a forall 
    T: a type variable 
function
  with parameters 
    left: a instance of type T
    right: a instance of type T
  returning void 
  with body 
    temp: a instance of type T
    
    Application of: 

        Operator: Assign

    ... on arguments: 

        Referencing: Variable: left

        Referencing: Variable: right

    
    Application of: 

        Operator: Assign

    ... on arguments: 

        Referencing: Variable: right

        Referencing: Variable: temp


context sumable
  with type parameters 
    T: a type variable 
  with members 
    0: a const instance of type T
    ?+?: a function
      with parameters 
        instance of type T
        instance of type T
      returning instance of type T

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

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



T1: a type definition 
  with assertions
    0: a const instance of type T1
    ?+?: a function
      with parameters 
        instance of type T1
        instance of type T1
      returning instance of type T1

    ?++: a function
      with parameters 
        instance of type T1
      returning instance of type T1

    ?+=?: a function
      with parameters 
        instance of type T1
        instance of type T1
      returning tuple with members 
          instance of type T1


  
T2: a type definition 
  with parameters
  P1: a type variable 
  P2: a type variable 

T3: a type definition 
  with assertions
    instance of context sumable
      with parameters 
      Type:        instance of type T3

  
T2: a type definition 
  with parameters
  P1: a type variable 
  P2: a type variable 

  with assertions
    instance of context sumable
      with parameters 
      Type:        instance of type T2 with parameters
          Type:            instance of type P1
          Type:            instance of type P2


  for instance of struct __anonymous0
    with members 
      i: a instance of type P1
      j: a instance of type P2

w1: a instance of type T2 with parameters
  Type:    int 
  Type:    int 

w2: a typedef definition for instance of type T2 with parameters
    Type:      int 
    Type:      int 

g2: a instance of type w2
w3: a type definition for instance of type T2 with parameters
    Type:      int 
    Type:      int 

g3: a instance of type w3
sum: a forall 
    T: a type variable 
      with assertions
        instance of context sumable
          with parameters 
          Type:            instance of type T

      
function
  with parameters 
    n: a int 
    a: a open array of instance of type T
  returning instance of type T
  with body 
    total: a instance of type T
    i: a int 

    For

        Expression: 

            Application of: 

                Operator: Assign

            ... on arguments: 

                Referencing: Variable: i

                Referencing: Variable: 0

            Application of: 

                Operator: LThan

            ... on arguments: 

                Referencing: Variable: i

                Referencing: Variable: n

            Application of: 

                Operator: PlusAssn

            ... on arguments: 

                Referencing: Variable: i

                Referencing: Variable: 1

        Branches of execution: 
            
            Application of: 

                Operator: Assign

            ... on arguments: 

                Referencing: Variable: total

                Application of: 

                    Operator: Plus

                ... on arguments: 

                    Referencing: Variable: total

                    Application of: 

                        Operator: Index

                    ... on arguments: 

                        Referencing: Variable: a

                        Referencing: Variable: i


    Return

        Expression: 

            Referencing: Variable: total

twice: a forall 
    T: a type variable 
      with assertions
        0: a const instance of type T
        ?+?: a function
          with parameters 
            instance of type T
            instance of type T
          returning instance of type T

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

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


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

    Return

        Expression: 

            Application of: 

                Operator: Plus

            ... on arguments: 

                Referencing: Variable: t

                Referencing: Variable: t

main: a function
  with no parameters 
  returning int 
  with body 
    x: a int 
    y: a int 
    a: a array of     10 int 
    f: a float 
    
    Application of: 

        Referencing: Variable: swap

    ... on arguments: 

        Referencing: Variable: x

        Referencing: Variable: y

    
    Application of: 

        Referencing: Variable: twice

    ... on arguments: 

        Referencing: Variable: x

        Referencing: Variable: y

    
    Application of: 

        Operator: Assign

    ... on arguments: 

        Referencing: Variable: f

        Application of: 

            Referencing: Variable: min

        ... on arguments: 
            4.0 
            3.0 

    
    Application of: 

        Referencing: Variable: sum

    ... on arguments: 
        10 

        Referencing: Variable: a