law list_eq_true

lawful-bytes@0.1.1.0 · LAWS.bend:398

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

398# A passed list_eq test gives equal lists.
399law list_eq_true:
400  for xs: List<&2, U32>
401  for ys: List<&2, U32>
402  for h: {D.list_eq(xs, ys) == True{} : Bool}
403  {xs == ys : List<&2, U32>}