1	# Quantified queue and recurrence contracts for issue #382.
2	import ./queue_laws.bend as Queue
3	import ./recurrence_laws.bend as Recurrence