differential_formula
macro_rules! composite { ($sort:expr, $args:expr, $alias:ident) => { ... }; ($alias:ident is $sort:expr => ($($arg:expr),+)) => { ... }; ($sort:expr => ($($arg:expr),+)) => { ... }; }