blackbox-linux-console/BlackBox/Views.txt

MODULE Views;

	(* TO COMPILE StdInterpreter *)

	PROCEDURE Available* (): INTEGER;
	BEGIN
	RETURN 0
	END Available;

	PROCEDURE ClearQueue*;
	BEGIN
	END ClearQueue;

END Views.