Macro tract_hir::typefact

macro_rules! typefact {
    (_) => { ... };
    ($arg:expr) => { ... };
}

Constructs a type fact.