Dotty Documentation

0.12.0-bin-SNAPSHOT

object UnknownCommand
extends Object with Function1

An unknown command that will not be handled by the REPL

[-] Constructors

[-] Members