machine-check-machine 0.7.1

Utility crate for the formal verification tool machine-check
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

use machine_check_common::iir::path::{IPath, IPathSegment};

use crate::wir::WPath;

impl WPath {
    pub fn into_iir(self) -> IPath {
        IPath {
            leading_colon: self.leading_colon.map(|span| span.into_iir()),
            segments: self
                .segments
                .into_iter()
                .map(|segment| IPathSegment {
                    ident: segment.ident.into_iir(),
                })
                .collect(),
        }
    }
}