append@l1@l2append#1@l1@l2append#1::@x@xs@l2::@xappend@xs@l2append#1nil@l2@l2appendAll@lappendAll#1@lappendAll#1::@l1@lsappend@l1appendAll@lsappendAll#1nilnilappendAll2@lappendAll2#1@lappendAll2#1::@l1@lsappendappendAll@l1appendAll2@lsappendAll2#1nilnilappendAll3@lappendAll3#1@lappendAll3#1::@l1@lsappendappendAll2@l1appendAll3@lsappendAll3#1nilnilappend2append#12::2nil0appendAll1appendAll#11appendAll21appendAll2#11appendAll31appendAll3#11INNERMOSTtct_complexity/raML/appendAll.raml.trs