Ops.token_checked: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/ops.bend as Ops
Lines 147-150 of cswap-bend-cli@0.1.0.0/store/ops.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store/ops.bend&start_line=147&end_line=150

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act

def token_checked(+e: Eff, +root: String, +token: String, +api_key: Bool, +assume_yes: Bool, +ts: String, +seq: Json.Json) -> Act.of(String):
  match e:
    case Eff{+email, slot}:
      token_checked2(clash(seq, email, api_key), Eff{email, slot}, root, token, api_key, assume_yes, ts, seq)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/ops.bend&name=Eff
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/ops.bend&name=clash
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/ops.bend&name=token_checked2