use cardinal_backend::{ Function, FunctionBuilder, ValueType, Value };
use cardinal_backend::builder::TraitInstBuilder;
fn main() {
let f = Function::new();
let builder = &mut FunctionBuilder::new(f);
{
let t1 = Value::I8(0);
let t2 = Value::I8(1);
builder.integer_add(t1, t2);
}
}