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