append
@l1
@l2
append#1
@l1
@l2
append#1
::
@x
@xs
@l2
::
@x
append
@xs
@l2
append#1
nil
@l2
@l2
subtrees
@t
subtrees#1
@t
subtrees#1
leaf
nil
subtrees#1
node
@x
@t1
@t2
subtrees#2
subtrees
@t1
@t1
@t2
@x
subtrees#2
@l1
@t1
@t2
@x
subtrees#3
subtrees
@t2
@l1
@t1
@t2
@x
subtrees#3
@l2
@l1
@t1
@t2
@x
::
node
@x
@t1
@t2
append
@l1
@l2
append
2
append#1
2
::
2
nil
0
subtrees
1
subtrees#1
1
leaf
0
node
3
subtrees#2
4
subtrees#3
5
INNERMOST
tct_complexity/raML/subtrees.raml.trs