law list_show

lawful-fields@0.1.1.0 · proof_digits.bend:711

import Base
import lawful-fields@0.1.1.0/defs.bend as F
import lawful-fields@0.1.1.0/fields.bend as FC

711law list_show:
712  for +n: U32
713  {FC.put_dec.list(n) == F.show(n) : List<&2, U32>}