Dotty Documentation

0.11.0-bin-SNAPSHOT

object UnknownCommand
extends Object with Function1

An unknown command that will not be handled by the REPL

[-] Constructors

[-] Members