Module type Wprop.Info


module type Info = sig .. end

type key 
val size : int
val kind : State.kind
val dependencies : State.t list
val state_name : key -> string
val state_proxy : key -> Property.t -> (string * Property.t list) option