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

import Base

def App.play(~S: Type, ~app: App<S>, frames: List<List<Event>>, state: S) ->
  IO(Maybe<S>):
  match frames:
    case Nil{}:
      IO.pure(Maybe<S>, Some{state})
    case events <> rest:
      App.fold(S, app, events, state, s => App.play(~S, ~app, rest, 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.fold
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Event
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe