def Gf128.words

bend-osdev-gf@0.1.1.0 · gf128.bend:34

import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128
import Base

34def Gf128.words(x: Gf128) -> List<&2, U32>:
35  match x:
36    case Gf128{w0, w1, w2, w3}:
37      [w0, w1, w2, w3]

Uses (3)

Used by (0)

No other definition uses this definition.