电子测距仪

_

electronic distance-measuring instrument, EDM, electronic distance meter