law witness_tab_exp

bend-osdev-gf@0.1.1.0 · LAWS.bend:178

import Base

178# a witness for tab_exp's hypothesis: the last entry, 509
179law witness_tab_exp:
180  {Nat.is_lt(U32.to_nat(509), 510n) == True{} : Bool}