Module type Wprop.Indexed2

module type Indexed2 = sig .. end

type key1 

type key2 

val mem : key1 -> key2 -> bool

val property : key1 -> key2 -> Property.t

val add_hook : (key1 -> key2 -> Property.t -> unit) -> unit