POSIXTimeRange is an Interval of POSIXTime.
https://github.com/input-output-hk/plutus/blob/1.16.0.0/plutus-ledger-api/src/PlutusLedgerApi/V1/Time.hs#L51-L52
Generated using TypeDoc
POSIXTimeRange is an Interval of POSIXTime.