def shift

cswap-bend-cli@0.1.0.0 · settings.bend:104

import Base

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