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

import Base

def App.fold(
  -S: Type, app: App<S>, events: List<Event>, state: S,
  rest: S -> IO(Maybe<S>)
) -> IO(Maybe<S>):
  App{view, tick} = app
  IO.bind(Maybe<S>, Maybe<S>, tick(events, state), App.more(S, rest))

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.more
  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.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe