method compare = (Pervasives.compare : 'a -> 'a -> int)