问题及解答

magma 中有三种循环语句: while, repeat, for. 与其他编程语言类似.

• while Boolean expression do
      statements;
  end while;
  

• repeat
      statements;
  until Boolean expression;
  

• for variable in domain do
      statements;
  end for;