[[example]]name="addition"path="examples/addition.rs"[dependencies][lib]name="anat"path="src/lib.rs"[package]authors=["TriedAngle <Sebastian@Strobl.net>"]description="A library to represent natural numbers as well-founded sets"edition="2018"license="Apache-2.0"name="anat-rs"version="0.1.0"