~/jendhub

def colon.pick

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

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

236# Index of the first `:` that ends a key (followed by a space or the end).
237def colon.pick(hit: Bool, n: Nat, rest: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
238  match hit:
239    case True{}:
240      Some{n}
241    case False{}:
242      rest

Uses (3)

Used by (1)