| IMap | Plutus.Contract.Test.ContractModel.Internal.ContractInstance, Plutus.Contract.Test.ContractModel.Internal |
| imAppend | Plutus.Contract.Test.ContractModel.Internal.ContractInstance, Plutus.Contract.Test.ContractModel.Internal |
| IMCons | Plutus.Contract.Test.ContractModel.Internal.ContractInstance, Plutus.Contract.Test.ContractModel.Internal |
| imLookup | Plutus.Contract.Test.ContractModel.Internal.ContractInstance, Plutus.Contract.Test.ContractModel.Internal |
| imMap | Plutus.Contract.Test.ContractModel.Internal.ContractInstance, Plutus.Contract.Test.ContractModel.Internal |
| IMNil | Plutus.Contract.Test.ContractModel.Internal.ContractInstance, Plutus.Contract.Test.ContractModel.Internal |
| initialInstances | |
| 1 (Function) | Plutus.Contract.Test.ContractModel.Internal.ContractInstance, Plutus.Contract.Test.ContractModel.Internal |
| 2 (Function) | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| initialState | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| instanceContract | |
| 1 (Function) | Plutus.Contract.Test.ContractModel.Internal.ContractInstance, Plutus.Contract.Test.ContractModel.Internal |
| 2 (Function) | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| instancesForOtherWallets | Plutus.Contract.Test.ContractModel.Internal |
| instanceTag | |
| 1 (Function) | Plutus.Contract.Test.ContractModel.Internal.ContractInstance, Plutus.Contract.Test.ContractModel.Internal |
| 2 (Function) | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| instanceWallet | |
| 1 (Function) | Plutus.Contract.Test.ContractModel.Internal.ContractInstance, Plutus.Contract.Test.ContractModel.Internal |
| 2 (Function) | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| invSymValue | Plutus.Contract.Test.ContractModel.Interface, Plutus.Contract.Test.ContractModel |
| isAcceptedBy | Plutus.Contract.Test.ContractModel.Internal |