sig val self : State.t end