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
Hooks are executed once at property creation