Macro fresh 

macro_rules! fresh {
    (($($x:ident),*), $($g:expr),* $(,)?) => { ... };
}

Bind fresh variables with scope inside the body of fresh!.