pub struct SortDecl {
pub name: Ident,
pub sort_vars: Vec<Ident>,
}
Fields§
§name: Ident
§sort_vars: Vec<Ident>
Trait Implementations§
Auto Trait Implementations§
impl Freeze for SortDecl
impl RefUnwindSafe for SortDecl
impl Send for SortDecl
impl Sync for SortDecl
impl Unpin for SortDecl
impl UnwindSafe for SortDecl
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