replToolName top-level constant

String const replToolName

Implementation

const String replToolName = 'REPL';