pub fn is_smaller_than_lexicographic<A, B>(_: A, _: B) -> bool