user5556: 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?

user5760: 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"  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.

5556: <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>
 5760: <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>
