ype-t">Prop.t</a></span> <span class="arrow">&#45;&gt;</span></span>
  <span><span><a href="../Prop/index.html#type-exposed">Prop.exposed</a> <a href="../Prop/index.html#type-t">Prop.t</a></span> <span class="arrow">&#45;&gt;</span></span>
  <a href="#type-implication_result">implication_result</a></span></code></div><div class="spec-doc"><p><code>check_implication_for_footprint p1 p2</code> returns <code>Some(sub, frame, missing)</code> if <code>sub(p1 * missing) |- sub(p2 * frame)</code> where <code>sub</