pub struct GapSymbol {
pub qname: String,
pub file: String,
pub has_verified_effects: bool,
pub has_ownership: bool,
pub has_invariant: bool,
pub has_validation_scenario: bool,
pub ledger_entries: usize,
pub ctx_tagged: bool,
}Fields§
§qname: String§file: String§has_verified_effects: bool§has_ownership: bool§has_invariant: bool§has_validation_scenario: bool§ledger_entries: usize§ctx_tagged: boolTrait Implementations§
Auto Trait Implementations§
impl Freeze for GapSymbol
impl RefUnwindSafe for GapSymbol
impl Send for GapSymbol
impl Sync for GapSymbol
impl Unpin for GapSymbol
impl UnsafeUnpin for GapSymbol
impl UnwindSafe for GapSymbol
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