def one

bolt@1.27.0.0 · src/rules/perf/strings.bend:57

import bolt@1.27.0.0/src/rules/perf/strings.bend as Strings
import Base

57# one for a string arm, else zero
58def one(mm: Maybe<&2, U32>) -> U32:
59  match mm:
60    case None{}:
61      0
62    case Some{n}:
63      1

Uses (2)

Used by (1)