diff --git a/src/runtime/predicate.rs b/src/runtime/predicate.rs index 00920ec84a49458360252c9707558e4139609a57..c3c1299a25a78fe1044543127a8a705f17949bdc 100644 --- a/src/runtime/predicate.rs +++ b/src/runtime/predicate.rs @@ -1,6 +1,7 @@ -use crate::common::ChannelId; -use crate::common::ChannelIndex; -use crate::common::ControllerId; +use crate::common::*; +use crate::runtime::ProtocolS; +use core::ops::Index; +use core::ops::IndexMut; use std::collections::BTreeMap; @@ -235,3 +236,5 @@ impl Predicate { todo!() } } + +////////////////////////////