boxes_provided   1371 src/Bounds.cpp map<string, Box> boxes_provided(Expr e, const Scope<Interval> &scope, const FuncValueBounds &fb) {
boxes_provided   1379 src/Bounds.cpp map<string, Box> boxes_provided(Stmt s, const Scope<Interval> &scope, const FuncValueBounds &fb) {