-- Metric spaces: distance functions, balls, the metric topology, closed
-- sets, continuity, sequences and completeness, bounded sets, uniform
-- continuity, the real line, discrete, subspace, and product metrics,
-- limits, and Lipschitz maps and isometries
-- Part of Cumulus, the Grace17 mathematics library.
-- Copyright (c) 2026 Grant Passmore.
-- Released under the Apache License 2.0. See LICENSE in the repository root.
-- Authors: Grant Passmore

module Grace.Cumulus.Metric
import Space
import Ball
import Open
import Closed
import Continuity
import Sequences
import Bounded
import Uniform
import Line
import Discrete
import Subspace
import Product
import Limits
import Maps
import Structure
import Spaces