Derive Macro Arbitrary 

#[derive(Arbitrary)]
{
    // Attributes available to this derive:
    #[proptest]
}

See module level documentation for more information.