Plan.ident_verdict2: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/plan.bend as Plan
Lines 171-176 of cswap-bend-cli@0.1.0.0/store/plan.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&start_line=171&end_line=176

import Base
import cswap-bend-cli@0.1.0.0/store/seq.bend as SSeq

def ident_verdict2(+no_uuid: Bool, +email: String, +acct_uuid: String, +uuid: String, +pemail: Maybe<&2, String>) -> Verdict:
  match no_uuid:
    case True{}:
      ident_by_email(email, String.trim(SSeq.str_or(pemail, "")))
    case False{}:
      sel.v(String.eq(uuid, acct_uuid), VOk{}, VBad{bad_uuid(email, uuid, acct_uuid)})

Uses (10):
  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=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.trim
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=Verdict
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=bad_uuid
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=ident_by_email
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=sel.v
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=str_or