def link
import bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend as HashTableimport Base
46def link(+s: U32) -> U32:
47 U32.inc(s)
Uses (2)
Used by (5)
- bend-collections-laws-math@1.0.0.0/src/containers/hash_table:ins_slot
- bend-collections-laws-math@1.0.0.0/proofs/lib/words32:link_nz_c
- bend-collections-laws-math@1.0.0.0/proofs/lib/words32:link_val
- bend-collections-laws-math@1.0.0.0/src/containers/hash_table:pop_v
- bend-collections-laws-math@1.0.0.0/proofs/lib/words32:link_nz