def U32.inc

Base · base.bend:1463

import Base
1463def U32.inc(a: U32) -> U32:
1464  match a:
1465    case U32{x}:
1466      U32{Word.inc(32n, x)}

Uses (2)

Used by (350)