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