Function meetShapes

meetShapes<Term>(left: TriplePin, right: TriplePin): PinMeet<Term>
The meet of two shapes on one group: one value spelt twice, so its positions are pairwise one value too.
Type Parameters
- Term
Parameters
- left: TriplePin
  One of the two shapes, and the one the group keeps
- right: TriplePin
  The other
Returns PinMeet<Term>
the pin the group keeps and the unifications the meet entailed
- Defined in lib/datastructures/TermClusterSet.ts:66