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