Shadow.sh_env: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/shadow.bend as Shadow
Lines 146-149 of cswap-bend-cli@0.1.0.0/daemon/shadow.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/shadow.bend&start_line=146&end_line=149

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk

def sh_env(+r: Sh, +mem: T.Mem, +checked: Bool) -> Tk.Env:
  match r:
    case Sh{c, cf, o, l}:
      Tk.Env{c, cf, True{}, o, mem, checked, []}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/shadow.bend&name=Sh
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=Env
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Mem