let
parent (i : arrayidx) : arrayidx = i/2