module type Indexed = sig .. end
sig
end
type key
val state : key -> State.t
key -> State.t
Memoized state for key
val property : key -> Property.t
key -> Property.t
IPBlob of state for key