Implementation of node-set data structure used by the calculi LSJ and RJ.