vstd::prelude

Function is_smaller_than

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