--- rpl/modules/sets/sets.rplc 2017/07/02 22:28:19 1.2 +++ rpl/modules/sets/sets.rplc 2017/07/30 21:59:03 1.7 @@ -1,4 +1,4 @@ -// Attention, la défintion de __RPLC_MAIN n'est obligatoire que parce qu'on +// Attention, la définition de __RPLC_MAIN n'est obligatoire que parce qu'on // ne compile pas les bibliothèques avec mkrplso puisque à ce moment, // l'environnement RPL/2 n'est pas encore installé. @@ -9,14 +9,19 @@ libraryName(sets); declareSubroutine(onLoading) - notice(stdout, "\nSets library V1R1 for RPL/2(C) 2017 BERTRAND Joel\n"); + notice(stdout, "\nSets library V1R1 for RPL/2 (C) 2017 BERTRAND Joel\n"); notice(stdout, "Sets library loaded.\n\n"); endSubroutine declareSubroutine(onClosing) - notice(stdout, "Sets library unloaded.\n\n"); + notice(stdout, "\nSets library unloaded.\n\n"); endSubroutine -exportExternalFunctions(union); +exportExternalFunctions( + complement, + intersection, + l->s, + s->l, + union); // vim: ts=4