Cédric Pasteur 221eea1644 Added polymorphic (=) and (<>) operators ... These two operators really need to be polymorphic, so they cannot be in Pervasives. a <> b is translated to not (a = b>) at parsing.		2010-07-27 17:16:49 +02:00
..
pervasives.epi	Added polymorphic (=) and (<>) operators	2010-07-27 17:16:49 +02:00