Constant spice::c::SPICE_DSK02_SPADSZ[][src]

pub const SPICE_DSK02_SPADSZ: u32 = 10; // 0_x00_000_00au32