📄️ PBound
Represents a bound in a range with an associated inclusivity flag.
📄️ PExtended
Represents an extended type that could either be a finite value or positive/negative infinity. It is used to generalize interval boundaries.
📄️ PInterval
Used to describe the time interval in which a transaction is considered valid, defining a start and end time using PBound for each.