let
loop_while condition ~body =
While
{condition; body}