Constant kHighsOptionTypeInt

Source
pub const kHighsOptionTypeInt: HighsInt = 1;