module type Indexed = sig .. end
sig
end
type key
val mem : key -> bool
key -> bool
val property : key -> Property.t
key -> Property.t
val add_hook : (key -> Property.t -> unit) -> unit
(key -> Property.t -> unit) -> unit