~/jendhub

def path.arity

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

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

472def path.arity(+c: U32) -> Nat:
473  U.choose(Nat, U32.is_eq(c, 90), 0n, U.choose(Nat, U32.is_eq(c, 72) || U32.is_eq(c, 86), 1n,
474    U.choose(Nat, U32.is_eq(c, 67), 6n,
475      U.choose(Nat, U32.is_eq(c, 83) || U32.is_eq(c, 81), 4n,
476        U.choose(Nat, U32.is_eq(c, 65), 7n, 2n)))))

Uses (5)

Used by (1)