sig
type key0
type key1
type 'a t
val create : int -> int -> 'a Index.Map2.t
val mem : 'a Index.Map2.t -> Index.Map2.key0 -> Index.Map2.key1 -> bool
val find : 'a Index.Map2.t -> Index.Map2.key0 -> Index.Map2.key1 -> 'a
val set :
'a Index.Map2.t -> Index.Map2.key0 -> Index.Map2.key1 -> 'a -> unit
val remove : 'a Index.Map2.t -> Index.Map2.key0 -> Index.Map2.key1 -> unit
end