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

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