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?
Thanks!