def lead.e1

emerging-ezhttp@0.21.0.0 · src/qs.bend:167

import emerging-ezhttp@0.21.0.0/src/qs.bend as Qs
import Base

167# E1 to EC, else ED and up
168def lead.e1(+b: U32, lt: Bool) -> Lead:
169  match lt:
170    case True{}:
171      Opens{U32.and(b, 15), 1n, 128, 191}
172    case False{}:
173      lead.ed(b, U32.is_eq(b, 237))

Uses (6)

Used by (1)