~/jendhub

law Numeric.u32_eq_refl

gralha-bendquest@0.1.0.0 · numeric.bend:335

import gralha-bendquest@0.1.0.0/numeric.bend as Numeric
import Base

335law Numeric.u32_eq_refl:
336  for +word: U32
337  {U32.is_eq(word, word) == True{} : Bool}

Uses (8)

Used by (0)

No other definition uses this definition.