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)*)) => { ... };
}