law list_eq_refl

lawful-bytes@0.1.1.0 · proof_list.bend:322

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

322law list_eq_refl:
323  for +xs: List<&2, U32>
324  {D.list_eq(xs, xs) == True{} : Bool}