~/jendhub

def decode.did

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

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

1005def decode.did(-A: Data, m: Maybe<&2, Op<A>>) -> Maybe<&2, Rec<A>>:
1006  match m:
1007    case None{}:
1008      None{}
1009    case Some{op}:
1010      Some{Do{op}}

Uses (3)

Used by (1)