Grace/Cumulus/Rat.g17
Imports
Density · Computable · Countable · OrderedOperations
Declarations
Source
1-- Rational mathematics2-- Part of Cumulus, the Grace17 mathematics library.3-- Copyright (c) 2026 Grant Passmore.4-- Released under the Apache License 2.0. See LICENSE in the repository root.5-- Authors: Grant Passmore67module Grace.Cumulus.Rat8import Density9import Computable10import Countable11import OrderedOperations12