Macro creusot_contracts::vec

source ยท 
macro_rules! vec {
    () => { ... };
    ($elem:expr; $n:expr) => { ... };
    ($($x:expr),*) => { ... };
    ($($x:expr,)*) => { ... };
}