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