// @(#)$Id: Equivalence.lh,v 1.3 1998/08/29 21:48:53 leavens Exp $

template <class Elem /*@ expects Equality(Elem) @*/>
signature Equivalence {
  //@ bool operator ==(Elem x, Elem y);
  //@ behavior {
  //@    ensures returns /\ result = (x = y);
  //@ }
};

[Index]

HTML generated using lcpp2html.