pred">Predicates.hpred</a> <span class="arrow">&#45;&gt;</span></span>
  bool * bool * <a href="../Predicates/index.html#type-hpred">Predicates.hpred</a></span></code></div><div class="spec-doc"><p><code>expand_hpred_pointer calc_index_frame hpred</code> expands <code>hpred</code> if it is a |-&gt; whose lhs is a Lfield or Lindex or ptr+off. Return <code>(changed, calc_index_frame', hpred')</code> where <code>changed</code> indicates whether the predicate has changed.</p></div></div><div class="odoc-spec"><