user4129: What is the txOutValue in reference to in a validator script? Is it the output value sent to the script by a wallet or is it the value sent by the script after compilation?
Also what does the txInInput refer to?

user4948: A transaction has inputs and outputs. When an input is from script address, the validator script is run to allow or disallow spending the UTxO protected by it in that transaction. While deciding whether to allow or disallow, it can see the whole transaction with its inputs and outputs. Let's say that one of the outputs is o :: TxOut. You can use txOutValue o to get the value (of type Value) of that output.
I'm not aware of txInInput. The closest I can think about is txInputs which is the set of inputs to the transaction being validated. Similarly, txOutputs is the set of outputs.

4129: <p>What is the txOutValue in reference to in a validator script? Is it the output value sent to the script by a wallet or is it the value sent by the script after compilation?</p>
<p>Also what does the txInInput refer to?</p>
 4948: <p>A transaction has inputs and outputs. When an input is from script address, the validator script is run to allow or disallow spending the UTxO protected by it in that transaction. While deciding whether to allow or disallow, it can see the whole transaction with its inputs and outputs. Let's say that one of the outputs is <code>o :: TxOut</code>. You can use <code>txOutValue o</code> to get the value (of type <code>Value</code>) of that output.</p>
<p>I'm not aware of <code>txInInput</code>. The closest I can think about is <code>txInputs</code> which is the set of inputs to the transaction being validated. Similarly, <code>txOutputs</code> is the set of outputs.</p>
