let resolve_two c1 c2 = match resolve_two_arrays c1.array c2.array with | None -> None | Some ar -> Some (create_normal_array ar)