sig val name : string val dependencies : State.t list val size : int end