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