diff --git a/argus-core/src/prelude.rs b/argus-core/src/prelude.rs
index 044d9c9..177624d 100644
--- a/argus-core/src/prelude.rs
+++ b/argus-core/src/prelude.rs
@@ -1,3 +1,3 @@
-pub use crate::expr::{Expr, ExprBuilder, ExprRef};
+pub use crate::expr::{BoolExpr, Expr, ExprBuilder, ExprRef, NumExpr};
 pub use crate::signals::{AnySignal, ConstantSignal, Signal};
 pub use crate::{ArgusError, ArgusResult};