module Pass_iter_key_union =

  (* We used to typecheck the atype of this as (a|b/)*               *)
  (* which is wrong and leads to spurious ambiguous iteration errors *)
  (* The right atype is ((a|b)/)*                                    *)
  let l1 = [ key /a|b/ . store /x/ ]
  let l2 = [ key /ab/ . store /y/ ]

  let lns = (l1 | l2)*

(* Local Variables: *)
(* mode: caml       *)
(* End:             *)