let nested_ht_iter (a : ('a, 'b) Hashtbl.t)
                   (b : ('p, 'q) Hashtbl.t)
                   (f : '-> '-> '-> '-> unit) : unit =
  Hashtbl.iter (fun p q -> 
                  Hashtbl.iter (fun r s -> f p q r s)  b
               ) a