<p>Since they're not defined directly in EnglishAuction.hs, they must be imported from somewhere else. You can see all the imports starting on line 32.</p>
<p>The haddock docs for Plutus can give some more information. Look at <a href="https://playground.plutus.iohkdev.io/doc/haddock/doc-index-T.html" rel="nofollow noreferrer">the index for the letter &quot;T&quot;</a>  and scroll down until you start seeing things that start with &quot;tx&quot;.</p>
<p>For example, <code>txOutDatumHash</code> and <code>txOutValue</code> are part of the <a href="https://playground.plutus.iohkdev.io/doc/haddock/plutus-ledger-api/html/Plutus-V2-Ledger-Api.html#t:TxOut" rel="nofollow noreferrer">constructor for the <code>TxOut</code> datatype</a>.</p>

CC BY-SA 4.0
2022-01-19T16:06:31.100Z
Thanks. that answers other questions I have regarding the script.
d_fajardo
CC BY-SA 4.0
2022-01-17T12:36:53.630Z
2022-01-17T12:36:53.630Z
Travis
<p>I might be missing some thing but in the English Auction script I am unable to find the definitions of the function that starts with tx:</p>
<pre><code>txOutDatumHash  
txInInfoResolved
txOutValue 
txInInfoResolved
...
</code></pre>
<p>Does anyone know where these functions are defined?</p>

<plutus><plutus-pioneer-program><plutus-playground>
Cannot find definitions of tx___ functions in English Auction script
# Cannot find definitions of tx___ functions in English Auction script

(Asked by: username_0 on 2022-01-17)

I might be missing some thing but in the English Auction script I am unable to find the definitions of the function that starts with tx:
txOutDatumHash  
txInInfoResolved
txOutValue 
txInInfoResolved
...

Does anyone know where these functions are defined?

**Tags:** plutus, plutus-pioneer-program, plutus-playground

---

## 1 answers

### Answer by username_1 on 2022-01-17. Score: 2

Since they're not defined directly in EnglishAuction.hs, they must be imported from somewhere else. You can see all the imports starting on line 32.

The haddock docs for Plutus can give some more information. Look at [the index for the letter "T"](https://playground.plutus.iohkdev.io/doc/haddock/doc-index-T.html) and scroll down until you start seeing things that start with "tx".

For example, `txOutDatumHash` and `txOutValue` are part of the [constructor for the `TxOut` datatype](https://playground.plutus.iohkdev.io/doc/haddock/plutus-ledger-api/html/Plutus-V2-Ledger-Api.html#t:TxOut).

> **Comments:**
> **username_0**: Thanks. that answers other questions I have regarding the script.  

---

