package shakuhachi
Source file roles.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18(**********************************************************************************************) (* *) (* This file is part of shakuhachi: a music collection manager *) (* Copyright (C) 2025 Yves Ndiaye *) (* *) (* shakuhachi is free software: you can redistribute it and/or modify it under the terms *) (* of the GNU General Public License as published by the Free Software Foundation, *) (* either version 3 of the License, or (at your option) any later version. *) (* *) (* shakuhachi is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; *) (* without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR *) (* PURPOSE. See the GNU General Public License for more details. *) (* You should have received a copy of the GNU General Public License along with shakuhachi. *) (* If not, see <http://www.gnu.org/licenses/>. *) (* *) (**********************************************************************************************) include Set.Make (Role)