Skip to main content

logos_add_exact

logicaffeine_data::ops

Function logos_add_exact 

Source 
pub fn logos_add_exact(
    a: impl Into<LogosInt>,
    b: impl Into<LogosInt>,
) -> LogosInt
Expand description

Exact Int arithmetic for GENERATED code (overflow ruling v2, stage 2): the i64 fast path is a single checked op; overflow spills to the promoting crate::types::LogosInt — the AOT’s mirror of the interpreter’s Int→BigInt promotion. impl Into<LogosInt> lets an already-promoted operand chain through the same helper unchanged.