Constant cspice_sys::SPICE_DSK_TYPIDX

pub const SPICE_DSK_TYPIDX: u32 = 3;