Macro arbitrary_model_tests::arbitrary_stateful_operations

arbitrary_stateful_operations!() { /* proc-macro */ }