1 // Copyright 2020-2021 Ian Jackson and contributors to Otter
2 // SPDX-License-Identifier: AGPL-3.0-or-later
3 // There is NO WARRANTY.
5 //! Otter game system (part thereeof)
7 //! <https://www.chiark.greenend.org.uk/~ianmdlvl/otter/docs/README.html>
9 //! This crate is intended for use only by other parts of Otter.
11 #![allow(clippy::redundant_closure_call)]
12 #![allow(clippy::writeln_empty_string)]