Cliops.token_run2: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops
Lines 172-178 of cswap-bend-cli@0.1.0.0/cliops.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&start_line=172&end_line=178

import Base
import cswap-bend-cli@0.1.0.0/store/ops.bend as SOps
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd

def token_run2(empty: Bool, +ctx: SBase.Ctx, +t: String, +email: Maybe<&2, String>, +slot: Maybe<&2, U32>, +noin: Bool) -> Act.of(Cmd.Out):
  match empty:
    case True{}:
      Act.fail(Cmd.Out, 2, "Token cannot be empty")
    case False{}:
      Act.bind(String, Cmd.Out, with_overwrite(SOps.add_token(ctx, t, email, slot, False{}), SOps.add_token(ctx, t, email, slot, True{}), noin),
        out => after_write(SBase.root_of(ctx), out))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/act.bend&name=bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=fail
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&name=after_write
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&name=with_overwrite
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/base.bend&name=Ctx
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/base.bend&name=root_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/ops.bend&name=add_token