Macro at_collection::atl3

macro_rules! atl3 {
    ($($cons:expr),*) => { ... };
}