law reverse_go

bend-lawful-stdlib@0.1.0.0 · src/list.bend:51

import Base

51# List.reverse is List.reverse.go(xs, Nil{}); this says what the
52# accumulator does.
53law reverse_go:
54  for -A: Data
55  for +xs: List<&2, A>
56  for +acc: List<&2, A>
57  {List.append(&2, A, List.reverse(&2, A, xs), acc) == List.reverse.go(&2, A, xs, acc) : List<&2, A>}