Macro polar_core::args

macro_rules! args {
    () => { ... };
    ($name:expr $(, $($tt:tt)*)?) => { ... };
    ($name:expr ; $spec:expr $(, $($tt:tt)*)?) => { ... };
}

Builds a list of arguments in reverse order Arguments of the form foo; bar get built into foo specialized on bar Otherwise, the argument is built depending on the type (symbols become names, terms become specializers).