def comment.pick

cswap-bend-cli@0.1.0.0 · fmt/yscal.bend:10

import cswap-bend-cli@0.1.0.0/fmt/yscal.bend as Yscal

import Base

10def comment.pick(hit: Bool, n: Nat, rest: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
11  match hit:
12    case True{}:
13      Some{n}
14    case False{}:
15      rest

Uses (3)

Used by (1)

cswap-bend-cli@0.1.0.0/fmt/yscal:comment.find