width method

dynamic width()

Implementation

width() {
  return pos - start;
}