~/jendhub

law neg_key.go

bend-lawful-stdlib@0.1.0.0 · src/float/f32.bend:613

import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32
import Base

613law neg_key.go:
614  for r: Word(31n) & Bool
615  IsKey(key.go(r)) -> IsKey(key.go(split(31n, neg.go(r))))

Uses (14)

Used by (1)