vstd::prelude

Function is_smaller_than_recursive_function_field

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