inline fun <reified T : CommandData> verifyClauses(tx: TransactionForContract, clauses: List<SingleClause>): UnitVerify a transaction against the given list of clauses.
tx - transaction to be verified.clauses - the clauses to verify.T - common supertype of commands to extract from the transaction, which are of relevance to these clauses.fun verifyClauses(tx: TransactionForContract, clauses: List<SingleClause>, commands: Collection<AuthenticatedObject<CommandData>>): UnitVerify a transaction against the given list of clauses.
tx - transaction to be verified.clauses - the clauses to verify.commands - commands extracted from the transaction, which are relevant to the
clauses.