📅  最后修改于: 2022-03-11 14:58:23.777000             🧑  作者: Mango
代码示例1
let i = 1 in
do_next_job ();
let i = 2 in
do_next_job ();
let i = 3 in
do_next_job ();
...
let i = n_jobs () in
do_next_job ();
()