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