-- Ordinal numbers: their order, arithmetic, and the cumulative hierarchy
-- 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.Ordinal
import Set.Ordinal.Arithmetic
import Set.Ordinal.OrderType
import Set.Ordinal.Monotone
import Set.Ordinal.ArithmeticLaws
import Set.Ordinal.Omega