Expose usize on term ID

egraphs-good · Aug 23, 2023 · 683fa59 · 683fa59
1 parent e9bd5f9
commit 683fa59
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/termdag.rs b/src/termdag.rs
@@ -5,7 +5,7 @@ use crate::{
 };
 
 #[derive(Clone, Copy, PartialEq, Eq, Hash, Debug)]
-pub struct TermId(usize);
+pub struct TermId(pub usize);
 
 /// Like [`Expr`]s but with sharing and deduplication.
 ///