Settings.shift: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/settings.bend as Settings
Lines 104-107 of cswap-bend-cli@0.1.0.0/settings.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&start_line=104&end_line=107

import Base

def shift(d: Dec, e: Exp) -> Dec:
  match d e:
    case Dec{neg, i, f} Exp{eneg, n}:
      shift.pick(eneg, n, neg, i, f)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=Dec
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=Exp
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=shift.pick