FRI early-termination review follow-ups (3/3): bind k into the continuation-global statement - #788

FRI early-termination review follow-ups (3/3): bind k into the continuation-global statement#788

MauroToscano merged 1 commit into

feat/fri-early-terminationyetanotherco/lambda_vm:feat/fri-early-terminationfrom

review/global-statement-kyetanotherco/lambda_vm:review/global-statement-kCopy head branch name to clipboard