pub fn transaction(
            mut self,
            transaction: Tr,
            predicate: impl Fn(&Ta, &Ta) -> PredicateRes + 'a,
        ) -> Self {
            self.transactions.push(TransactionAndPredicate {
                transaction,
                predicate: Rc::new(predicate),
            });
            self
        }
/// Add a transaction to be checked.
///
/// In addition to the explicitly provided transactions, each possible merge of
/// two transactions will be tested.
///
/// The `predicate` is given a copy of the target before and after executing the
/// transaction and should verify that the transaction had the expected effects.
/// There may be effects from other transactions.
Add a transaction to be checked.
In addition to the explicitly provided transactions, each possible merge of
two transactions will be tested.

The `predicate` is given a copy of the target before and after executing the
transaction and should verify that the transaction had the expected effects.
There may be effects from other transactions.
Add a transaction to be checked . In addition to the explicitly provided transactions each possible merge of two transactions will be tested . The ` predicate ` is given a copy of the target before and after executing the transaction and should verify that the transaction had the expected effects . There may be effects from other transactions .
pub fn transaction(
            mut self,
            transaction: Tr,
            predicate: impl Fn(&Ta, &Ta) -> PredicateRes + 'a,
        ) -> Self {
            self.transactions.push(TransactionAndPredicate {
                transaction,
                predicate: Rc::new(predicate),
            });
            self
        }
pub fn transaction ( mut self , transaction : Tr , predicate : impl Fn ( & Ta , & Ta ) -> PredicateRes + ' a , ) -> Self { self . transactions . push ( TransactionAndPredicate { transaction , predicate : Rc :: new ( predicate ) , } ) ; self }
Add a transaction to be checked.
Add a transaction to be checked .
mut self
transaction
Tr
predicate
impl Fn(&Ta, &Ta) -> PredicateRes + 'a