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