Add FRAC_1_SQRT_2PI doc alias to FRAC_1_SQRT_TAU · model-checking/verify-rust-std@619e33b (original) (raw)
4 files changed
lines changed
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -69,6 +69,7 @@ pub mod consts { | ||
69 | 69 | 0.564189583547756286948079451560772585844050629328998856844086_f128; |
70 | 70 | |
71 | 71 | /// 1/sqrt(2π) |
72 | + #[doc(alias = "FRAC_1_SQRT_TAU")] | |
72 | 73 | #[unstable(feature = "f128", issue = "116909")] |
73 | 74 | // Also, #[unstable(feature = "more_float_constants", issue = "103883")] |
74 | 75 | pub const FRAC_1_SQRT_2PI: f128 = |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -68,6 +68,7 @@ pub mod consts { | ||
68 | 68 | pub const FRAC_1_SQRT_PI: f16 = 0.564189583547756286948079451560772586_f16; |
69 | 69 | |
70 | 70 | /// 1/sqrt(2π) |
71 | + #[doc(alias = "FRAC_1_SQRT_TAU")] | |
71 | 72 | #[unstable(feature = "f16", issue = "116909")] |
72 | 73 | // Also, #[unstable(feature = "more_float_constants", issue = "103883")] |
73 | 74 | pub const FRAC_1_SQRT_2PI: f16 = 0.398942280401432677939946059934381868_f16; |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -328,6 +328,7 @@ pub mod consts { | ||
328 | 328 | pub const FRAC_1_SQRT_PI: f32 = 0.564189583547756286948079451560772586_f32; |
329 | 329 | |
330 | 330 | /// 1/sqrt(2π) |
331 | + #[doc(alias = "FRAC_1_SQRT_TAU")] | |
331 | 332 | #[unstable(feature = "more_float_constants", issue = "103883")] |
332 | 333 | pub const FRAC_1_SQRT_2PI: f32 = 0.398942280401432677939946059934381868_f32; |
333 | 334 |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -328,6 +328,7 @@ pub mod consts { | ||
328 | 328 | pub const FRAC_1_SQRT_PI: f64 = 0.564189583547756286948079451560772586_f64; |
329 | 329 | |
330 | 330 | /// 1/sqrt(2π) |
331 | + #[doc(alias = "FRAC_1_SQRT_TAU")] | |
331 | 332 | #[unstable(feature = "more_float_constants", issue = "103883")] |
332 | 333 | pub const FRAC_1_SQRT_2PI: f64 = 0.398942280401432677939946059934381868_f64; |
333 | 334 |