pub fn verify(&self, spendable_tokens: u64) -> bool {
        match self {
            BudgetExpr::Pay(payment)
            | BudgetExpr::After(_, payment)
            | BudgetExpr::And(_, _, payment) => payment.tokens == spendable_tokens,
            BudgetExpr::Or(a, b) => {
                a.1.tokens == spendable_tokens && b.1.tokens == spendable_tokens
            }
        }
    }
/// Return true if the budget spends exactly `spendable_tokens`.
Return true if the budget spends exactly `spendable_tokens`.
Return true if the budget spends exactly ` spendable_tokens ` .
pub fn verify(&self, spendable_tokens: u64) -> bool {
        match self {
            BudgetExpr::Pay(payment)
            | BudgetExpr::After(_, payment)
            | BudgetExpr::And(_, _, payment) => payment.tokens == spendable_tokens,
            BudgetExpr::Or(a, b) => {
                a.1.tokens == spendable_tokens && b.1.tokens == spendable_tokens
            }
        }
    }
pub fn verify ( & self , spendable_tokens : u64 ) -> bool { match self { BudgetExpr :: Pay ( payment ) | BudgetExpr :: After ( _ , payment ) | BudgetExpr :: And ( _ , _ , payment ) => payment . tokens == spendable_tokens , BudgetExpr :: Or ( a , b ) => { a . 1 . tokens == spendable_tokens && b . 1 . tokens == spendable_tokens } } }
Return true if the budget spends exactly `spendable_tokens`.
Return true if the budget spends exactly ` spendable_tokens ` .
&self
spendable_tokens
u64
&self
spendable_tokens
u64