cairo-native 0.9.0-rc.8

A compiler to convert Cairo's IR Sierra code to MLIR and execute it.
1
2
3
4
5
6
7
8
9
10
11
12
13
14

#[feature("bounded-int-utils")]
use core::internal::bounded_int::{self, SubHelper, BoundedInt};

impl U8BISub of SubHelper<u8, u8> {
    type Result = BoundedInt<-255, 255>;
}

extern fn bounded_int_sub<Lhs, Rhs, impl H: SubHelper<Lhs, Rhs>>(
    lhs: Lhs, rhs: Rhs,
) -> H::Result nopanic;

fn main() -> BoundedInt<-255, 255> {
    bounded_int_sub(0_u8, 255_u8)
}