diffgeom
macro_rules! inner { ($T1: ty, $T2: ty; $I1: ty, $I2: ty; $op1: expr, $op2: expr) => { ... }; }