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