tract_core
macro_rules! dimfact { (_) => { ... }; (S) => { ... }; ($arg:expr) => { ... }; }
Constructs a dimension fact.