10 Sep
2002
10 Sep
'02
9:21 p.m.
Wolfram Kahl suggested to add functions isNullPtr and isNullFunPtr (with the expected semantics) to the Ptr module. Opinions? Manuel