[<+>] ->
Arg C : &EventCounter,
    A, B : EventCounter

C = <
      % : A.%,
      Counter : A.Counter + B.Counter,
      Min_time : (
                   When A.Min_time < B.Min_time then
                   Return A.Min_time

                   Else
                   Return B.Min_time
                 ),
      Max_time : (
                   When A.Max_time > B.Max_time then
                   Return A.Max_time

                   Else
                   Return B.Max_time
                 )
    >

Return

/* * */

[<.>] ->
Arg B : ^&EventCounter,
    A : EventCounter

B.Counter += A.Counter

Return