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