If Statement

iff cond {} 等价于 if is_true(cond) {}

% 三值逻辑
if 


% 二值逻辑
iff a {

}

For-In Loop

for a in b {

}

For Notation

for {


}

While Loop

while a > 0 {


}

Infinite Loop

等价于 while true

loop {
    return true;
}

Switch

switch {
    a == 1, "1"
    a == 2, "2"


}

Match

match a {


}

Do Notation

do {
    a <- b
}