Module Rte.PrecondAnnot_Proxy


module PrecondAnnot_Proxy: sig .. end

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