label$ method

void label$(String label)

Generates a label.

Implementation

void label$(String label) {
  writeln('$label:');
}