Constant move_model::pragmas::ADDITION_OVERFLOW_UNCHECKED_PRAGMA

pub const ADDITION_OVERFLOW_UNCHECKED_PRAGMA: &str = "addition_overflow_unchecked";

Pragma indicating that adding u64 or u128 values should not be checked for overflow.