Module type Wprop.Indexed


module type Indexed = sig .. end

type key 
val state : key -> State.t
Memoized state for key

Memoized state for key

val property : key -> Property.t
IPBlob of state for key

IPBlob of state for key