From 697db057a544a90b160c8fb4c91b717a448d1af0 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Sat, 12 Apr 2025 08:22:56 +0100
Subject: [PATCH] fmt

---
 src/finitenimber.rs | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/finitenimber.rs b/src/finitenimber.rs
index 52c830d..38c7bf8 100644
--- a/src/finitenimber.rs
+++ b/src/finitenimber.rs
@@ -1,6 +1,6 @@
 use core::cmp::max;
 use core::fmt::{Debug, Display, Formatter};
-use core::ops::{Add, Sub, Mul};
+use core::ops::{Add, Mul, Sub};
 
 type Word = u64; // element type of the vectors we use
 const WORDLEVELS: usize = 6; // 2^{2^6} = 64 = size of Word
@@ -294,7 +294,9 @@ impl<'a, 'b> Add<FiniteNimberRef<'a>> for FiniteNimberRef<'b> {
 
 impl<'a, 'b> Sub<FiniteNimberRef<'a>> for FiniteNimberRef<'b> {
     type Output = FiniteNimber;
-    fn sub(self, other: FiniteNimberRef<'a>) -> FiniteNimber { self + other }
+    fn sub(self, other: FiniteNimberRef<'a>) -> FiniteNimber {
+        self + other
+    }
 }
 
 impl<'a> FiniteNimberRef<'a> {
@@ -317,7 +319,11 @@ impl<'a> FiniteNimberRef<'a> {
         }
     }
 
-    fn mul_recurse(self, other: FiniteNimberRef<'a>, level: usize) -> FiniteNimber {
+    fn mul_recurse(
+        self,
+        other: FiniteNimberRef<'a>,
+        level: usize,
+    ) -> FiniteNimber {
         match level.checked_sub(1) {
             Some(sublevel) => {
                 let (alo, ahi) = self.split(sublevel);
-- 
2.30.2