Verifies

@DoNotImplement interface Verifies

This interface asserts that the DSL at hand is capable of verifying its underlying construct(ledger/transaction).

fails	`open fun fails(): EnforceVerifyOrFail` Asserts that verifies throws, with no condition on the exception message.
fails with	`open infix fun fails with(msg: String): EnforceVerifyOrFail`
failsWith	`open fun failsWith(expectedMessage: String?): EnforceVerifyOrFail` Asserts that verifies() throws.
verifies	`abstract fun verifies(): EnforceVerifyOrFail` Verifies the ledger/transaction, throws if the verification fails.

fun Any.contextLogger(): <ERROR CLASS>

When called from a companion object, returns the logger for the enclosing class.

LedgerDSLInterpreter	`interface LedgerDSLInterpreter<out T : TransactionDSLInterpreter> : Verifies, OutputStateLookup` This interface defines the bare bone functionality that a Ledger DSL interpreter should implement.
TransactionDSLInterpreter	`interface TransactionDSLInterpreter : Verifies, OutputStateLookup` This interface defines the bare bone functionality that a Transaction DSL interpreter should implement.