Constant clingo_sys::INT32_MAX [] [src]

pub const INT32_MAX: c_uint = 2147483647