Constant cspice_sys::SPICE_DSK_MX1IDX

source · 
pub const SPICE_DSK_MX1IDX: u32 = 17;