Skip to main content

sigma_proof_compiler_derive/
lib.rs

1use proc_macro::TokenStream;
2
3mod sym_instance;
4mod sym_witness;
5
6#[proc_macro_derive(SymInstance)]
7pub fn derive_sym_instance(input: TokenStream) -> TokenStream {
8    sym_instance::derive_sym_instance_impl(input)
9}
10
11#[proc_macro_derive(SymWitness)]
12pub fn derive_sym_witness(input: TokenStream) -> TokenStream {
13    sym_witness::derive_sym_witness_impl(input)
14}