Store.verify_plan: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store.bend as Store
Lines 131-138 of cswap-bend-cli@0.1.0.0/store.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store.bend&start_line=131&end_line=138

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/store/plan.bend as SPlan

def verify_plan(+p: SPlan.Plan, +id: Ident, fetch: String -> IO(SPlan.Prof)) -> Act.of(String):
  match p:
    case SPlan.PSkip{why}:
      Act.pure(String, notice_text(id_email(id), why))
    case SPlan.PFetch{token}:
      do ActM<String>:
        prof : SPlan.Prof <- Act.lift(SPlan.Prof, fetch(token))
        verify_prof(id, prof)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  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=lift
  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/act.bend&name=pure
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=Prof
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=ActM
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=ActM.bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=Ident
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=id_email
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=notice_text
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=verify_prof