def Gf128.of_octets

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

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

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

68# the block of 16 bytes (any other length is refused)
69def Gf128.of_octets(+o: B.Octets) -> Result<&2, &2, Gf128Error, Gf128>:
70  +n = B.Octets.len(o)
71  gf128.of_list.pick(Nat.is_eq(n, 16n), n, B.Octets.to_list(o))

Uses (8)

Used by (4)