sig val self : State.t val get_state : Rte.RteGlobalTbl.key -> State.t end