def builtin.of

cswap-bend-cli@0.1.0.0 · profile.bend:46

import Base
import cswap-bend-cli@0.1.0.0/policy/safe.bend as SF

46def builtin.of(+name: String, +m: Maybe<&2, SF.Algo>) -> Maybe<&2, Prof>:
47  match m:
48    case Some{a}:
49      Some{bare(name, a)}
50    case None{}:
51      None{}