vstd
In vstd::
prelude
vstd
::
prelude
Function
is_smaller_than_recursive_function_field
Copy item path
pub fn is_smaller_than_recursive_function_field<A, B>(_: A, _: B) ->
bool