U11
tt
s
length
L
and
tt
X
zeros
cons
0
isNat
tt
isNat
isNatList
isNat
isNat
isNatIList
isNatList
isNatIList
tt
isNatIList
and
isNat
isNatList
tt
isNatList
and
isNat
length
nil
0
length
cons
N
U11
and
isNatList
U11
1
tt
0
s
1
length
1
and
1
zeros
0
cons
1
0
0
isNat
0
isNatList
0
isNatIList
0
nil
0
FULL
./TRS/TRCSR/LengthOfFiniteLists_nokinds_L.trs