let
left_child (i : arrayidx) : arrayidx = i*2