Function assert_lt

fn assert_lt<'a, T: PartialOrd>(
    left: &'a T,
    right: &'a T,
) -> Result<Vec<u8>, ComparisonAssertionError<'a, T>>