Settings.num.join: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/settings.bend as Settings
Lines 153-158 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=153&end_line=158

import Base

def num.join(m: Maybe<&2, Dec>, e: Maybe<&2, Exp>) -> Maybe<&2, Dec>:
  match m e:
    case Some{d} Some{x}:
      Some{shift(d, x)}
    case _ _:
      None{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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