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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

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

#[macro_export]
macro_rules! instantiate_ast {
    ($Wrapper: ident) => {
        use $crate::wrapper_type;

        pub type Str = $Wrapper<String>;

        pub type Constant = $crate::raw::alg::Constant<Str>;

        pub type Index = $crate::raw::alg::Index<Str>;

        pub type Identifier = $crate::raw::alg::Identifier<Str>;

        pub type IdentifierKind = $crate::raw::alg::IdentifierKind<Str>;

        pub type Attribute = $crate::raw::alg::Attribute<Str, Term>;

        pub type Sort = $Wrapper<RSort>;

        pub type Local = $crate::raw::alg::Local<Str, Sort>;

        pub type SigIndex = $crate::raw::alg::SigIndex<Str>;

        pub type BvInSort = $crate::raw::alg::BvInSort<Sort>;

        pub type BvOutSort = $crate::raw::alg::BvOutSort<Sort>;

        pub type Sig = $crate::raw::alg::Sig<Str, Sort>;

        wrapper_type!(RSort, $crate::raw::alg::Sort<Str, Sort>);

        pub type QualifiedIdentifier = $crate::raw::alg::QualifiedIdentifier<Str, Sort>;

        pub type Pattern = $crate::raw::alg::Pattern<Str>;

        pub type PatternArm = $crate::raw::alg::PatternArm<Str, Term>;

        pub type SortDef = $crate::raw::alg::SortDef<Str, Sort>;

        pub type ConstructorDec = $crate::raw::alg::ConstructorDec<Str, Sort>;

        pub type DatatypeDec = $crate::raw::alg::DatatypeDec<Str, Sort>;

        pub type DatatypeDef = $crate::raw::alg::DatatypeDef<Str, Sort>;

        pub type FunctionDef = $crate::raw::alg::FunctionDef<Str, Sort, Term>;

        pub type Term = $Wrapper<RTerm>;

        wrapper_type!(RTerm, $crate::raw::alg::Term<Str, Sort, Term>);

        wrapper_type!(RCommand, $crate::raw::alg::Command<Str, Sort, Term>);

        pub type Command = $Wrapper<RCommand>;
    };
}