law num_pair

lawful-fields@0.1.1.0 · LAWS.bend:72

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

72law num_pair:
73  for b: D.Bytes
74  for from: U32
75  for to: U32
76  {C.num(b, from, to) == (b, Pair.snd(D.Bytes, Maybe<&2, U32>, C.num(b, from, to))) : D.Bytes & Maybe<&2, U32>}