| Action | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel, Plutus.Contract.Test.ContractModel |
| action | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| actionName | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| Actions | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| actionsFromList | Plutus.Contract.Test.ContractModel.Internal |
| activateWallets | Plutus.Contract.Test.ContractModel.Internal |
| addressToWallet | Plutus.Contract.Test.ContractModel.Internal |
| anyAction | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| anyActions | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| anyActions_ | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| arbitraryAction | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| arbitraryWaitInterval | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| assert | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| assertModel | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| assertSpec | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| available | Plutus.Contract.Test.ContractModel.CrashTolerance |