Macro chalk_integration::ty
source ยท macro_rules! ty { (apply (item $n:expr) $($arg:tt)*) => { ... }; (function $n:tt $($arg:tt)*) => { ... }; (placeholder $n:expr) => { ... }; (projection (item $n:tt) $($arg:tt)*) => { ... }; (infer $b:expr) => { ... }; (bound $d:tt $b:tt) => { ... }; (bound $b:expr) => { ... }; (expr $b:expr) => { ... }; (($($b:tt)*)) => { ... }; }