comment

cucapra · Jan 13, 2025 · 2732c20 · 2732c20
1 parent 6a7dc7e
commit 2732c20
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/patronus-egraphs/src/rewrites.rs b/patronus-egraphs/src/rewrites.rs
@@ -96,6 +96,8 @@ fn lsh_no_ov(wo: WidthInt, wa: WidthInt, wb: WidthInt) -> bool {
     wo >= eval_width_left_shift(wa, wb)
 }
 
+/// Represents a constraint for a width. Can be used to check whether a rewrite can be applied,
+/// as well as to derive a legal width for the right-hand-side of a rewrite.
 #[derive(Debug, Copy, Clone, Eq, PartialEq, Hash)]
 pub enum WidthConstraint {
     AddNoOverflow(Var, Var),