1	# Pure deadline queues and bounded fixed-rate/fixed-delay recurrence over exact clock ticks.
2	import Base
3	import ./queue.bend as Queue
4	import ./recurrence.bend as Recurrence
5	# Publishes the laws and proofs, so dependent packages can cite them.
6	import ./PROOF.bend as Proof