changeset 16528 | 25a7459d4d4a |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Pure/ML-Systems/smlnj-ptreql.ML Wed Jun 22 11:20:45 2005 +0200 @@ -0,0 +1,10 @@ +(* Title: $Id$ + Author: Lawrence C Paulson + +Pointer Equality: for Standard ML of New Jersey 110.49 or later. + +Thanks to Matthias Blume for providing InlineT.ptreql! +*) + +CM.autoload "$smlnj/init/init.cmi"; +val pointer_eq = InlineT.ptreql;