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