let le l1 l2 = (compare l1 l2) <= 0