1: // Attention, la définition de __RPLC_MAIN n'est obligatoire que parce qu'on
2: // ne compile pas les bibliothèques avec mkrplso puisque à ce moment,
3: // l'environnement RPL/2 n'est pas encore installé.
4:
5: #define __RPLC_MAIN
6: #include "src/rplexternals.h"
7: #include "sets.h"
8:
9: libraryName(sets);
10:
11: declareSubroutine(onLoading)
12: notice(stdout, "\nSets library V1R1 for RPL/2 (C) 2017 BERTRAND Joel\n");
13: notice(stdout, "Sets library loaded.\n\n");
14: endSubroutine
15:
16: declareSubroutine(onClosing)
17: notice(stdout, "\nSets library unloaded.\n\n");
18: endSubroutine
19:
20: exportExternalFunctions(
21: complement,
22: intersection,
23: union);
24:
25: // vim: ts=4
CVSweb interface <joel.bertrand@systella.fr>