equal
deleted
inserted
replaced
|
1 (* Title: $Id$ |
|
2 Author: Lawrence C Paulson |
|
3 |
|
4 Pointer Equality: for Standard ML of New Jersey 110.49 or later. |
|
5 |
|
6 Thanks to Matthias Blume for providing InlineT.ptreql! |
|
7 *) |
|
8 |
|
9 CM.autoload "$smlnj/init/init.cmi"; |
|
10 val pointer_eq = InlineT.ptreql; |