sig
  val name : string
  val dependencies : State.t list
  val size : int
  type key
  val property : Wprop.Info.key -> Wprop.property
end