law checked_conversion_value

bendtorch-core@0.1.0.0 · src/tensor/core_LAWS.bend:212

import Base

212law checked_conversion_value:
213  for +cursor: Nat
214  for +index: U32
215  for verdict: {True{} == Nat.is_eq(U32.to_nat(index), cursor) : Bool}
216  {U32.to_nat(index) == cursor : Nat}