2023-12-31 23:14:00 +00:00
|
|
|
foo_or_bar = match random_boolean() {
|
2023-12-11 15:18:46 +00:00
|
|
|
true => "foo"
|
|
|
|
|
false => "bar"
|
|
|
|
|
}
|
|
|
|
|
|
2023-12-31 23:14:00 +00:00
|
|
|
num = match random_integer() {
|
2023-12-11 15:18:46 +00:00
|
|
|
1 => "one",
|
|
|
|
|
2 => { "two" },
|
|
|
|
|
* => "neither",
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
[foo_or_bar, num]
|
