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