law min_r

lawful-bytes@0.1.1.0 · proof_fast_find.bend:389

import Base

389law min_r:
390  for +a: U32
391  for +b: U32
392  for +h: {U32.is_lt(a, b) == False{} : Bool}
393  {U32.min(a, b) == b : U32}