[−][src]Constant ion_c_sys::tid_SEXP_INT

pub const tid_SEXP_INT: u32 = 3072;