type Gf128Error

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

import Base

25type Gf128Error is Data:
26  Gf128BadLength{got: Nat}