mutable compare_function = (None : ('-> '-> int) option)