Module Rte.PrecondAnnotTbl


module PrecondAnnotTbl: sig .. end

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