<p dir="ltr">Dear All,</p>
<p dir="ltr">I wonder if/ how this is possible?</p>
<p dir="ltr">I have a constructor which takes 2 pairs of type t).</p>
<p dir="ltr">However, I want to ensure that the pairs are matched:</p>
<p dir="ltr">MyP = MyP (t, t) (t, t)</p>
<p dir="ltr">But where the first pair contains the same elements as the second, but reversed in order.</p>
<p dir="ltr">Any help much appreciated.</p>
<p dir="ltr">BW,<br>
Matt</p>