| Nat.O -> (fun _ -> Nat.O)
| Nat.S program_size' ->
(fun _ ->
- (let { Types.fst = eta31588; Types.snd = ticks } =
+ (let { Types.fst = eta302; Types.snd = ticks } =
Fetch.fetch prog.ASM.cm program_counter'
in
let { Types.fst = instruction; Types.snd = program_counter'' } =
- eta31588
+ eta302
in
(fun _ ->
let to_continue =