z3d 0.1.0

Z3 DSL interface for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#![feature(box_patterns)]
#![feature(proc_macro_hygiene)]

extern crate proc_macro;

mod common;
mod dec;
mod exp;

#[proc_macro]
pub fn dec(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
    dec::macro_main(input)
}

#[proc_macro]
pub fn exp(input: proc_macro::TokenStream) -> proc_macro::TokenStream {
    exp::macro_main(input)
}