def tl.plus

cswap-bend-cli@0.1.0.0 · fmt/ylex.bend:209

import Base

209def tl.plus(m: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
210  match m:
211    case None{}:
212      None{}
213    case Some{n}:
214      Some{Nat.add(n, 1n)}