1 files changed, 8 insertions, 0 deletions
diff --git a/src/export.rs b/src/export.rs
index 72d954a..91a4a5e 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_monotonic as 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::Monotonic,
+{
+}
+
 /// Lock the resource proxy by setting the BASEPRI
 /// and running the closure with interrupt::free
 ///