Function is_smaller_than_lexicographic 

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