law list_eq_refl

lawful-bytes@0.1.1.0 · LAWS.bend:405

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

405# Equal lists pass list_eq.
406law list_eq_refl:
407  for xs: List<&2, U32>
408  {D.list_eq(xs, xs) == True{} : Bool}