Tenyaeva_lib.Monad
Copyright 2025, Tenyaeva Ekaterina
SPDX-License-Identifier: LGPL-3.0-or-later
module StateR (S : sig ... end) : sig ... end