ask

In ask.diesel:

extend module Stdlib;

module Ask;

The ask method prints out a prompt on stdout and returns the result typed in on stdin. The ask_yes_no method returns true iff the first character of the response begins with Y or y.

fun ask(prompt:string):string;
fun ask_yes_no(prompt:string):bool;

end module Ask;

module BlockInput;
fun get_block_input():string;

end module BlockInput;

module Split;
fun split_input(s:string, split_ch:char,
                       needs_continuation:&(extensible_sequence[string]
                                            ):extensible_sequence[string]
                       ):extensible_sequence[string];
fun split_input(s:string, split_ch:char):extensible_sequence[string];

end module Split;