RosettaCodeData/Task/Conditional-structures/V-(Vlang)/conditional-structures-4.v

15 lines
195 B
Coq
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
match true {
boolean_expression1 {
statements
}
boolean_expression2 {
other
statements
}
else {
last
resort
statements
}
}