Given that the function A
contains B is true when all of B is contained in A, and false otherwise, wouldn't that mean that the
txInfoValidRange info would have to move its "start point" in order to return true? Below is my thinking :)
checkDeadline = from (deadline p) `contains` txInfoValidRange info
In this code,
from (deadline p) contains all of the slots from some deadline to pos infinity.
---Below is where I think I am wrong---
txInfoValidRange info is just a SlotRange from the creation of the transaction to pos infinity.
So how then can the
deadline p contain the
txInfoValidRange info without the
txInfoValidRange info adjusting its starting point?