(* print a list of ((string * string) * 'a)  *)
let rec print_list = function
[] -> Printf.printf "\n empty list"; ()
| ((s1,s2),a)::l -> Printf.printf "\n(s1,s2)= %s %s" s1 s2; print_list l;;