UnknownCommand
dotty.tools.repl.UnknownCommand
case class UnknownCommand(cmd: String) extends Command
An unknown command that will not be handled by the REPL
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Commandtrait ParseResultclass Objecttrait Matchableclass Any
Members list
In this article