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

import Base

def App.run(
  ~S: Type, ~app: App<S>, title: String, width: U32, height: U32, state: S
) -> IO(Unit):
  do IO<Unit>:
    window : Window <- IO.try(Window, Window.open(title, width, height))
    App.loop(~S, ~app, 4294967295n, window, state)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=App
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=App.loop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.try
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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.open