Macro arbitrary_tuple 

macro_rules! arbitrary_tuple {
    ($($type:ident),*) => { ... };
}

This macro implements kani::Arbitrary on a tuple whose elements already implement kani::Arbitrary by running kani::any() on each index of the tuple.