What's the name of the tool to bevel bar ends?
When the tubing is cut the cutting tool leaves a ridge in the inside of the tube. A reamer removes this rough edge or burr. It is hard to say if your mechanic used a bicycle specific reamer which may be part of a bearing facing tool or a generic deburring tool.