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 syn::{Ident, Pat, PatIdent, PatWild};

pub fn create_pat_ident(ident: Ident) -> PatIdent {
    PatIdent {
        attrs: vec![],
        by_ref: None,
        mutability: None,
        ident,
        subpat: None,
    }
}

pub fn create_pat_wild() -> Pat {
    Pat::Wild(PatWild {
        attrs: vec![],
        underscore_token: Default::default(),
    })
}