law pd_eq

lawful-fields@0.1.1.0 · proof_digits.bend:735

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

735law pd_eq:
736  for +xs: List<&2, U32>
737  for -b: D.Bytes
738  {FC.put_dec.go(xs, b) == B.of_list.go(xs, b) : D.Bytes}