$ include "seed7_05.s7i";

const type: striSet is set of string;

enable_output(striSet);

const proc: main is func
  local
    const striSet: setA is {"John", "Bob" , "Mary", "Serena"};
    const striSet: setB is {"Jim" , "Mary", "John", "Bob"   };
  begin
    writeln(setA >< setB);
  end func;