
Public Member Functions | |
| unifiable () | |
| unifiable (const unifiable &) | |
Friends | |
| template<typename T> | |
| const T & | get (const T &) | 
| The canonicalization operator.   | |
Definition at line 109 of file unique.hh.
      
  | 
  
| 
 The canonicalization operator. 
This operator uses the  
 
  | 
  
 1.4.6