yaspar-ir 2.7.1

This crate provides a few representations of SMT scripts and other functionalities.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0

#[macro_export]
macro_rules! wrapper_type {
    ($N:ident, $T:ty) => {
        #[derive(Clone, PartialEq, Eq, Hash)]
        pub struct $N(pub $T);

        impl std::ops::Deref for $N {
            type Target = $T;

            fn deref(&self) -> &Self::Target {
                &self.0
            }
        }

        impl $crate::traits::Repr for $N {
            type T = $T;

            fn repr(&self) -> &$T {
                &self.0
            }
        }

        impl From<$T> for $N {
            fn from(x: $T) -> Self {
                Self(x)
            }
        }

        impl std::fmt::Display for $N {
            fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
                std::fmt::Display::fmt(&self.0, f)
            }
        }

        impl std::fmt::Debug for $N {
            fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
                std::fmt::Debug::fmt(&self.0, f)
            }
        }
    };
}