Gate.cas.store: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/usage/gate.bend as Gate
Lines 95-100 of cswap-bend-cli@0.1.0.0/usage/gate.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/usage/gate.bend&start_line=95&end_line=100

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import cswap-bend-cli@0.1.0.0/json.bend as Json

def cas.store(+m: Maybe<&2, String>, +path: String, +text: String, +cur: String, +new: String, +acct: Json.Json) -> IO(Fs.Res(Gated)):
  match m:
    case None{}:
      done.g(gated.ok_a(new, Some{cur}, acct))
    case Some{+now_cred}:
      cas.pick(String.eq(fp(now_cred), fp(cur)), path, text, new, acct, now_cred)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  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=cswap-bend-cli@0.1.0.0/fs.bend&name=Res
  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/usage/gate.bend&name=Gated
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/gate.bend&name=cas.pick
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/gate.bend&name=done.g
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/gate.bend&name=fp
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/gate.bend&name=gated.ok_a