from __future__ import annotations

from collections.abc import Mapping

from logic.propositional.hilbert.definitions import Definition

DEFINITIONS: Mapping[str, Definition] = {}

__all__ = ["DEFINITIONS"]
