1
length Nil
TA_Result 0
1
length ( Cons(1,Cons(2,Cons(3,Cons(4,Cons(5,Cons(6,Cons(7,Cons(8,Cons(9,Cons(10,Nil)))))))))) )
TA_Result 10
1
map (fun x -> x*x*x) Nil
TA_Resultlist Nil
1
map (fun x -> x*x + x) ( Cons(-1, Cons(0, Cons(1, Cons(2, Nil)))) )
TA_Resultlist ( Cons (0, Cons (0, Cons (2, Cons (6, Nil)))) )
1
fold_left (fun x y -> x-y) 0 (Cons(1,Cons(2,Cons(3,Nil))))
TA_Result -6
1
fold_left (fun x y -> y-x) 0 (Cons(1,Cons(2,Cons(3,Nil))))
TA_Result 2
1
mem 1 (Cons(0,Cons(0,Cons(0,Cons(0,Cons(0,Cons(0,Cons(0,Cons(0,Cons(0,Cons(1,Nil)))))))))))
TA_Resultbool true
1
mem 2 Nil
TA_Resultbool false
1
for_all (fun x -> x > 0) (Cons(1,Cons(2,Cons(3,Cons(0,Cons(4,Cons(5,Nil)))))))
TA_Resultbool false
1
for_all (fun x -> x*x*x - x = 0) (Cons(0,Cons(1,Cons(-1,Nil))))
TA_Resultbool true