let equal_key k1 k2 = match k1, k2 with | In k1, In k2 -> (try (0 = cmp_in_key k1 k2) with Not_equal -> false) | Out k1, Out k2 -> equal_out_key k1 k2 | _ -> false