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