Macro tspec

macro_rules! tspec {
    ( $( $base:expr ),* ) => { ... };
    ( $( $base:expr ),*$(; $( $arg:expr ),* )? ) => { ... };
}

A type specification with a specified path and optional generic arguments