law v_gf128_short

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

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

245law v_gf128_short:
246  {H.Gf128.of_octets(B.Octets.zeros(15n)) == Fail{H.Gf128BadLength{15n}} : Result<&2, &2, H.Gf128Error, H.Gf128>}