def parent
import bend-collections@1.0.0.0/src/containers/binary_heap.bend as BinaryHeapimport Base
92# The parent index of i (i > 0). For i = 0 the probe never reads it.
93def parent(+i: U32) -> U32:
94 U32.shr(U32.sub(i, 1))
import bend-collections@1.0.0.0/src/containers/binary_heap.bend as BinaryHeapimport Base
92# The parent index of i (i > 0). For i = 0 the probe never reads it.
93def parent(+i: U32) -> U32:
94 U32.shr(U32.sub(i, 1))