(COMMENT generated from Maude module 'LengthOfFiniteLists' by 'nosorts' transformation)
(VAR L N X Z Y)
(STRATEGY CONTEXTSENSITIVE

(and 1)
(cons 1)




)
(RULES
zeros -> cons(0,zeros)

and(tt,X) -> X

length(nil) -> 0

length(cons(N,L)) -> s(length(L))
)