module RteGlobalTbl: sig .. end
sig
end
include struct ... end
val get_state : key -> State.t
key -> State.t