1use "../../../tools-poly/poly/Binarymap.sig";
2use "../../../tools-poly/poly/Binarymap.sml";
3use "../FunctionalRecordUpdate.sml";
4use "ProcessMultiplexor.sig";
5use "ProcessMultiplexor.sml";
6
7open ProcessMultiplexor;
8
9shell_commands text_monitor
10               (["for i in 1 2 3 4 5 6 7 ; do echo A$i ; sleep 2 ; done",
11                 "for i in 1 2 3 4 5 6 7 ; do echo B$i ; sleep 4 ; done"],
12                2);
13