Module type Wprop.Indexed2


module type Indexed2 = sig .. end

type key1 
type key2 
val state : key1 -> key2 -> State.t
val property : key1 -> key2 -> Property.t