law list_drop_append

bend-osdev-mode-core@0.1.0.0 · LAWS.bend:42

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

42law list_drop_append:
43  for +a: List<&2, U32>
44  for +b: List<&2, U32>
45  {B.drop(B.len(a), B.append(a, b)) == b : List<&2, U32>}