%Error: t/t_let_recurse_bad.v:9:36: Recursive let substitution 'RECURSE'
9 | let RECURSE(a) = (a == 1) ? 1 : RECURSE(a - 1);
| ^~~~~~~
%Error: Exiting due to