def num.join

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

import Base

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