~/jendhub

def Dec.next

bend-kit-runner@0.13.0.1 · runner.bend:636

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base

636def Dec.next(-A: Type, -B: Type, m: Maybe<&1, Rd & A>, f: A -> Dec(B)) -> Maybe<&1, Rd & B>:
637  match m:
638    case None{}:
639      None{}
640    case Some{(r, x)}:
641      f(x)(r)

Uses (5)

Used by (1)