pub fn addi<'c>( lhs: Value<'c>, rhs: Value<'c>, result: Type<'c>, location: Location<'c> ) -> Operation<'c>