module type Indexed2 = sig .. end
sig
end
type key1
type key2
val state : key1 -> key2 -> State.t
key1 -> key2 -> State.t
val property : key1 -> key2 -> Property.t
key1 -> key2 -> Property.t