|
def read(int):
|
|
null | until( . == int; "Expecting \(int)" | stderr | input);
|
|
|
|
def read_string:
|
|
null | until( type == "string"; "Please enter a string" | stderr | input);
|
|
|
|
(read_string | "I see the string: \(.)"),
|
|
(read(75000) | "I see the expected integer: \(.)")
|