def args.number

gralha-svg-render@0.1.0.1 · svg.bend:247

import gralha-svg-render@0.1.0.1/svg.bend as Svg

import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

247# The arguments are counted down; an arc's flags are the 4th and 3rd from its end.
248def args.number(+n: Nat, s: String, +arc: Bool) -> U.Number:
249  args.number.pick(arc && (U32.is_eq(U32.from_nat(n), 4) || U32.is_eq(U32.from_nat(n), 3)), s)

Uses (9)

Used by (2)