1 2 3 4 5 6 7 8 9 10 11 12
/// Diameter of player head. pub const HEAD_DIAMETER: f64 = 0.476; /// Radius of player head. pub const HEAD_RADIUS: f64 = 0.238; /// Diameter of objects (and wheels). pub const OBJECT_DIAMETER: f64 = 0.8; /// Radius of objects (and wheels). pub const OBJECT_RADIUS: f64 = 0.4; /// Size of top10 data for a player. pub const PLAYER_TOP10_SIZE: usize = 344; /// Size of top10 data for a level. pub const TOP10_SIZE: usize = PLAYER_TOP10_SIZE * 2;