Function lean_sys::int::lean_int_lt

source ·
pub unsafe fn lean_int_lt(a1: b_lean_obj_arg, a2: b_lean_obj_arg) -> bool