Module type Wprop.Indexed

module type Indexed = sig .. end

type key 
val mem : key -> bool
val property : key -> Property.t
val add_hook : (key -> Property.t -> unit) -> unit

Hooks are executed once at property creation