law app_snoc

lawful-bytes@0.1.1.0 · proof_grow.bend:90

import Base

90law app_snoc:
91  for +xs: List<&2, U32>
92  for +x: U32
93  for +r: List<&2, U32>
94  {List.append(&2, U32, List.append(&2, U32, xs, [x]), r) == List.append(&2, U32, xs, x <> r) : List<&2, U32>}