Macro polyhorn::with

macro_rules! with {
    (($($name:ident),*), $($tt:tt)*) => { ... };
}