law v_gf128_octets

bend-osdev-gf@0.1.1.0 · LAWS.bend:242

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

242law v_gf128_octets:
243  {H.Gf128.of_octets(H.Gf128.to_octets(H.Gf128.of_words(1726565332, 4018809915, 2286746201, 3392416558))) == Done{H.Gf128.of_words(1726565332, 4018809915, 2286746201, 3392416558)} : Result<&2, &2, H.Gf128Error, H.Gf128>}