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

use syn::{Expr, FieldValue, Ident, Member};

pub fn create_field_value_ident(field_ident: Ident, init_expr: Expr) -> FieldValue {
    FieldValue {
        attrs: vec![],
        member: Member::Named(field_ident),
        colon_token: Some(Default::default()),
        expr: init_expr,
    }
}