Module Rte.RTEAnnot_Proxy


module RTEAnnot_Proxy: sig .. end

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