Constant checked_add

Source
pub const checked_add: Symbol;