law ab_cons

lawful-fields@0.1.1.0 · proof_digits.bend:669

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

669law ab_cons:
670  for +n: U32
671  for +acc: List<&2, U32>
672  for +hacc: {D.all_bytes(acc) == True{} : Bool}
673  {D.all_bytes(U32.add(U32.mod(n, 10), 48) <> acc) == True{} : Bool}