`type t``= BasicCost.astate Node.IdMap.t```
`val print_upper_bound_map : BasicCost.astate Node.IdMap.t ‑> unit`
`val filter_loc : InferIR.Pvar.t InferStdlib.IStd.List.t ‑> Control.VarSet.t ‑> AbsLoc.Loc.t ‑> bool`
`val compute_upperbound_map : InferIR.Procdesc.t ‑> BufferOverrunChecker.invariant_map ‑> Control.DataDepSet.astate Control.DataDepMap.t InferModules__AbstractInterpreter.state Control.DataDepAnalyzer.InvariantMap.t ‑> Control.ControlDepSet.astate InferModules__AbstractInterpreter.state Control.ControlDepAnalyzer.InvariantMap.t ‑> BasicCost.astate Node.IdMap.t`
`val upperbound : BasicCost.astate Node.IdMap.t ‑> Node.IdMap.key ‑> BasicCost.astate`