>
  <a href="#type-comparator">comparator</a> * <a href="#type-comparator">comparator</a></span></code></div><div class="spec-doc"><p>Given a constraint to use as the hypothesis (precondition) and a constraint to use as the postcondition, returns a tuple of comparators. The first comparator returns the input postcondition constraint when called. The second comparator returns the input precondition constraint when called.</p></div></div><div class="odoc-spec"><div class="spec value" id="val-compare_subs_fun"