fix doc: tristate_lexicographical_compare