law list_eq_true

lawful-bytes@0.1.1.0 · proof_list.bend:301

import Base
import lawful-bytes@0.1.1.0/defs.bend as D

301law list_eq_true:
302  for +xs: List<&2, U32>
303  for +ys: List<&2, U32>
304  for +h: {D.list_eq(xs, ys) == True{} : Bool}
305  {xs == ys : List<&2, U32>}