Next: Time and date
Up: Miscellaneous
Previous: Miscellaneous
Index
In ask.diesel:
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;
module BlockInput;
fun get_block_input():string;
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];
Next: Time and date
Up: Miscellaneous
Previous: Miscellaneous
Index
Cecil/Vortex Project