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