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).