append
@l1
@l2
append#1
@l1
@l2
append#1
::
@x
@xs
@l2
::
@x
append
@xs
@l2
append#1
nil
@l2
@l2
appendAll
@l
appendAll#1
@l
appendAll#1
::
@l1
@ls
append
@l1
appendAll
@ls
appendAll#1
nil
nil
appendAll2
@l
appendAll2#1
@l
appendAll2#1
::
@l1
@ls
append
appendAll
@l1
appendAll2
@ls
appendAll2#1
nil
nil
appendAll3
@l
appendAll3#1
@l
appendAll3#1
::
@l1
@ls
append
appendAll2
@l1
appendAll3
@ls
appendAll3#1
nil
nil
append
2
append#1
2
::
2
nil
0
appendAll
1
appendAll#1
1
appendAll2
1
appendAll2#1
1
appendAll3
1
appendAll3#1
1
INNERMOST
tct_complexity/raML/appendAll.raml.trs