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