Stop.say: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/stop.bend as Stop Lines 7-15 of bolt@1.27.0.0/src/stop.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/stop.bend&start_line=7&end_line=15 import Base import bolt@1.27.0.0/src/args.bend as Args # a text on its stream def say(to: Args.Stream, text: String) -> IO(Unit): match to: case Args.Line{}: IO.print(text) case Args.Page{}: IO.write(text) case Args.Err{}: IO.print_err(text) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.print https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.print_err https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.write https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=Stream