law at_end

bend-osdev-bytes@0.1.1.0 · LAWS.bend:60

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

60law at_end:
61  {B.at([7, 8], 2n) == None{} : Maybe<&2, U32>}