rust: use doc comments. (#1668)

Rust distinguishes between doc and non-doc comments. Using doc comments avoids the compiler to warn about undocumented code. Extracted rust files are updated.
mit-plv · Oct 1, 2023 · 090e9fd · 090e9fd
1 parent 37dd5af
commit 090e9fd
Show file tree

Hide file tree

Showing 26 changed files with 101 additions and 101 deletions.
diff --git a/fiat-rust/src/curve25519_32.rs b/fiat-rust/src/curve25519_32.rs
diff --git a/fiat-rust/src/curve25519_64.rs b/fiat-rust/src/curve25519_64.rs
diff --git a/fiat-rust/src/curve25519_scalar_32.rs b/fiat-rust/src/curve25519_scalar_32.rs
diff --git a/fiat-rust/src/curve25519_scalar_64.rs b/fiat-rust/src/curve25519_scalar_64.rs
diff --git a/fiat-rust/src/p224_32.rs b/fiat-rust/src/p224_32.rs
diff --git a/fiat-rust/src/p224_64.rs b/fiat-rust/src/p224_64.rs
diff --git a/fiat-rust/src/p256_32.rs b/fiat-rust/src/p256_32.rs
diff --git a/fiat-rust/src/p256_64.rs b/fiat-rust/src/p256_64.rs
diff --git a/fiat-rust/src/p256_scalar_32.rs b/fiat-rust/src/p256_scalar_32.rs
diff --git a/fiat-rust/src/p256_scalar_64.rs b/fiat-rust/src/p256_scalar_64.rs
diff --git a/fiat-rust/src/p384_32.rs b/fiat-rust/src/p384_32.rs
diff --git a/fiat-rust/src/p384_64.rs b/fiat-rust/src/p384_64.rs
diff --git a/fiat-rust/src/p384_scalar_32.rs b/fiat-rust/src/p384_scalar_32.rs