2 files changed, 12 insertions, 1 deletions
diff --git a/src/export.rs b/src/export.rs
index dedff2fb..080b1f67 100644
--- a/src/export.rs
+++ b/src/export.rs
@@ -16,6 +16,7 @@ pub use cortex_m::{
 use heapless::spsc::SingleCore;
 pub use heapless::{consts, i::Queue as iQueue, spsc::Queue};
 pub use heapless::{i::BinaryHeap as iBinaryHeap, BinaryHeap};
+pub use rtic_core::monotonic::Monotonic;
 
 pub type SCFQ<N> = Queue<u8, N, u8, SingleCore>;
 pub type SCRQ<T, N> = Queue<(T, u8), N, u8, SingleCore>;
@@ -112,6 +113,13 @@ where
 {
 }
 
+#[inline(always)]
+pub fn assert_monotonic<T>()
+where
+    T: Monotonic,
+{
+}
+
 /// Lock the resource proxy by setting the BASEPRI
 /// and running the closure with interrupt::free
 ///
diff --git a/src/lib.rs b/src/lib.rs
index c1930b03..ade12678 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -39,7 +39,10 @@ use core::ops::Sub;
 
 use cortex_m::{interrupt::Nr, peripheral::NVIC};
 pub use cortex_m_rtic_macros::app;
-pub use rtic_core::{prelude as mutex_prelude, Exclusive, monotonic::Monotonic, Mutex};
+pub use rtic_core::{
+    monotonic::{Clock, Instant, Monotonic},
+    prelude as mutex_prelude, Exclusive, Mutex,
+};
 
 #[doc(hidden)]
 pub mod export;