Module Rte.RteAnnotTbl


module RteAnnotTbl: sig .. end

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