Macro unit::theorem

source · 
macro_rules! theorem {
    ($d:expr,$tdd:expr) => { ... };
    ($d:expr,$tdd:expr,$t:expr) => { ... };
}