Profile.upd.algo: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/profile.bend as Profile
Lines 364-369 of cswap-bend-cli@0.1.0.0/profile.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&start_line=364&end_line=369

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

def upd.algo(+p: Prof, +m: Maybe<&2, SF.Algo>) -> Upd:
  match p m:
    case Prof{nm, a, th, ms, cd, iv} Some{x}:
      UOk{Prof{nm, x, th, ms, cd, iv}}
    case Prof{nm, a, th, ms, cd, iv} None{}:
      UBad{"strategy must be one of: " ++ String.join(SF.names(), ", ")}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/safe.bend&name=Algo
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/safe.bend&name=names
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=Prof
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=Upd