App.loop: def of Base
Import: import Base
Lines 3174-3180 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=3174&end_line=3180

import Base

def App.loop(~S: Type, ~app: App<S>, fuel: Nat, window: Window, state: S) ->
  IO(Unit):
  match fuel:
    case 0n:
      Window.close(window)
    case 1n+f:
      App.step(S, app, window, state, w => s => App.loop(~S, ~app, f, w, s))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=App
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=App.step
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Window
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Window.close