~/jendhub

def char

bend-kit-property@0.4.0.0 · shrink.bend:128

import bend-kit-property@0.4.0.0/shrink.bend as Shrink
import Base

128# Toward 'a': a code above it halves toward it; one below tries 'a', then halves toward 0.
129def char(c: Char) -> List<&1, Char>:
130  match c:
131    case Chr{+x}:
132      char.of(U32.cmp(x, 97), x)

Uses (4)

Used by (1)