sig type key val state : Wprop.Indexed.key -> State.t val property : Wprop.Indexed.key -> Property.t end