xxxxxxxxxx
(* val assoc : 'a -> ('a * 'b) list -> 'b *)
let l1 = [(1, 2); (2, 4); (3, 6); (4, 8); (5, 10)];;
List.assoc 4 l1;;
xxxxxxxxxx
(* val flatten : 'a list list -> 'a list *)
let l1 = [1; 2; 3; 4; 5];;
let l2 = [6; 7; 8; 9; 10];;
let l3 = [l1; l2];;
List.flatten l3;;
xxxxxxxxxx
(* val mem : 'a -> 'a list -> bool *)
let l1 = [1; 2; 3; 4; 5];;
List.mem 5 l1;;
xxxxxxxxxx
(* val filter : ('a -> bool) -> 'a list -> 'a list *)
let l1 = [1; 2; 3; 4; 5];;
List.filter (fun x -> x>3) l1;;
xxxxxxxxxx
(* val for_all : ('a -> bool) -> 'a list -> bool *)
(* val exists : ('a -> bool) -> 'a list -> bool *)
let l1 = [1; 2; 3; 4; 5];;
List.for_all (fun x -> x<10) l1;;
List.exists (fun x -> x=6) (List.map (fun x -> x+1) l1);;
xxxxxxxxxx
(* val map : ('a -> 'b) -> 'a list -> 'b list *)
let l1 = [1; 2; 3; 4; 5];;
List.map (fun x -> x+1) l1;;