3 | Cons of 'a * ('a) list
7 (function p -> (function f -> let rec aux =
11 | Cons(t,l1) -> (f t l1 (aux l1)))
16 (function p -> (function f -> let rec aux =
20 | Cons(t,l1) -> (f t l1 (aux l1)))
29 | Cons(hd,tl) -> (Cons(hd,(id_list tl))))
35 (function l1 -> (function l2 ->
38 | Cons(hd,tl) -> (Cons(hd,(append tl l2))))
51 (Matita_nat_nat.S(Matita_nat_nat.O))
55 (Matita_nat_nat.S(x1))
59 (Matita_nat_nat.S(x2))
64 (function l -> (function d -> (function n ->
71 | Matita_nat_nat.S(n') -> (nth (tail l) d n'))