tract_hir
macro_rules! shapefactoid { () => { ... }; (..) => { ... }; ($($arg:tt),+; ..) => { ... }; ($($arg:tt),+) => { ... }; }
Constructs a shape fact.