123456789101112131415161718(*****************************************************************************)(* *)(* Copyright (C) 2026 Yves Ndiaye *)(* *)(* This Source Code Form is subject to the terms of the Mozilla Public *)(* License, v. 2.0. If a copy of the MPL was not distributed with this *)(* file, You can obtain one at https://mozilla.org/MPL/2.0/. *)(* *)(*****************************************************************************)(** A library to write plugins.
A plugin is a module defined by conforming to the {!Plugin.S} signature and
registered by using {!Plugin.register} function. *)modulePlugin=PluginmoduleTagger=TaggermoduleEvent=Event