Source src/silo:std.effects.console
1##! Console effect — standard input/output. 2 3:use 4 :open core Str 5 :open effects.io IO 6:end 7 8## Standard input/output console effect. 9## Carries `.print` to emit a line and `.input` to prompt and read a line. 10:effect(pub) Console IO .print ( Str -> ) .input ( Str -> Str ) :end