diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-10 09:59:32 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-10 09:59:32 -0700 |
| commit | 3cfa56a923e2ff96c01ba932ecc9cc4ec38e616d (patch) | |
| tree | 14091a2e015687e8c3143d9451ea357c9d1f4b5b /html/035lookup.cc.html | |
| parent | 7303b27fe555644daf45b89e9feb1908f1f085e4 (diff) | |
| download | mu-3cfa56a923e2ff96c01ba932ecc9cc4ec38e616d.tar.gz | |
3313
Allow type-trees to be ordered in some consistent fashion. This could be quite inefficient since we often end up comparing the four sub-trees of the two arguments in 4 different ways. So far it isn't much of a time sink.
Diffstat (limited to 'html/035lookup.cc.html')
0 files changed, 0 insertions, 0 deletions