pub struct NamedContract {
pub name: String,
pub contract: Contract,
pub predicates: Vec<String>,
pub source: String,
}
Fields§
§name: String
§contract: Contract
§predicates: Vec<String>
§source: String
Implementations§
Source§impl NamedContract
impl NamedContract
pub fn get_predicate(&self, name: &str) -> Option<&Predicate>
Trait Implementations§
Auto Trait Implementations§
impl Freeze for NamedContract
impl RefUnwindSafe for NamedContract
impl Send for NamedContract
impl Sync for NamedContract
impl Unpin for NamedContract
impl UnwindSafe for NamedContract
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more