View.pace.reset: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/view.bend as View
Lines 134-139 of cswap-bend-cli@0.1.0.0/view.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/view.bend&start_line=134&end_line=139

import Base

def pace.reset(p: Maybe<&2, U32>, r: Maybe<&2, U32>, +fetched: U32) -> Maybe<&2, Pace>:
  match p r:
    case Some{x} Some{t}:
      pace.mk(x, elapsed_of(t, fetched), fetched)
    case _ _:
      None{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/view.bend&name=Pace
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/view.bend&name=elapsed_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/view.bend&name=pace.mk