Type Definition cspice_sys::SpiceInt

type SpiceInt = c_int;