def App.run

import Base

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

Uses (10)

U32
String
Unit
IO
IO.bind
…

Used by (0)

No other definition uses this definition.