nifty8.re.lax module# cond(pred, true_fun, false_fun, operand)[source]# fori_loop(lower, upper, body_fun, init_val)[source]# while_loop(cond_fun, body_fun, init_val)[source]#