warmup
Repl
welcomeBanner
Defaults
width
AmmoniteFrontEnd FrontEnd JLineTerm FrontEndUtils ReplAPI
write
ops