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
|