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