fix: move comments from lib.rs to mod files

lattices/src/ght.rs

@@ -1,3 +1,4 @@
+//! GHT from the Wang/Willsey/Suciu Freejoin work
 use std::collections::HashMap;
 use std::fmt::Debug;
 use std::hash::Hash;

lattices/src/ght_lazy.rs

@@ -1,11 +1,13 @@
+//! COLT from Wang/Willsey/Suciu
+
 use std::hash::Hash;
 
 use variadics::variadic_collections::VariadicCollection;
 use variadics::{var_expr, var_type, PartialEqVariadic, SplitBySuffix, VariadicExt};
 
 use crate::ght::{GeneralizedHashTrieNode, GhtGet, GhtInner, GhtLeaf};
 
-/// COLT from Wang/Willsey/Suciu
+/// Data structure design for our COLT is unique.
 ///
 /// In the paper, the COLT is an unbalanced trie that "grows upward" from leaves lazily
 /// on access via the `force` method.

lattices/src/ght_macros.rs

@@ -1,3 +1,4 @@
+//! Macros for GHT
 #[macro_export]
 /// Internal macro for constructing a Ght struct with the given schema and storage type
 ///

lattices/src/ght_test.rs

@@ -1,3 +1,4 @@
+//! Tests for the GHT code
 #[cfg(test)]
 mod test {
     use std::collections::HashSet;

lattices/src/lib.rs

@@ -11,15 +11,10 @@ pub mod algebra;
 pub mod collections;
 mod conflict;
 mod dom_pair;
-/// GHT from the Wang/Willsey/Suciu Freejoin work
 pub mod ght;
-/// Lattice methods for GHT
 pub mod ght_lattice;
-/// COLT from the Wang/Willsey/Suciu Freejoin work
 pub mod ght_lazy;
-/// Macros for GHT
 pub mod ght_macros;
-/// Tests for GHT
 pub mod ght_test;
 pub mod map_union;
 pub mod map_union_with_tombstones;