pub struct SortPath {
pub segments: Vec<Ident>,
pub args: Vec<BaseSort>,
pub node_id: NodeId,
}Expand description
A Path but for sorts.
Fields§
§segments: Vec<Ident>The segments in the path
args: Vec<BaseSort>The sort arguments, i.e., the list [int, bool] in Map<int, bool>.
node_id: NodeIdTrait Implementations§
Auto Trait Implementations§
impl DynSend for SortPath
impl DynSync for SortPath
impl Freeze for SortPath
impl RefUnwindSafe for SortPath
impl Send for SortPath
impl Sync for SortPath
impl Unpin for SortPath
impl UnsafeUnpin for SortPath
impl UnwindSafe for SortPath
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