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