From 9469c2c7a2e77c85c6ab6cc85230b0e0dac32faa Mon Sep 17 00:00:00 2001
From: Branden J Brown <zephyrtronium@gmail.com>
Date: Mon, 19 Jan 2026 22:30:19 -0500
Subject: [PATCH] horse/prob: remove redundant qualifiers

---
 horse/prob/kfl.kk | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/horse/prob/kfl.kk b/horse/prob/kfl.kk
index 90fad49..992eff4 100644
--- a/horse/prob/kfl.kk
+++ b/horse/prob/kfl.kk
@@ -24,7 +24,7 @@ pub type kfl
 
 // Automatically generated.
 // Comparison of the `kfl` type.
-pub fun kfl/cmp(this : kfl, other : kfl) : e order
+pub fun cmp(this : kfl, other : kfl) : e order
   match (this, other)
     (Impossible, Impossible) -> Eq
     (Impossible, _) -> Lt
@@ -53,7 +53,7 @@ pub fun kfl/cmp(this : kfl, other : kfl) : e order
     (Guaranteed, Guaranteed) -> Eq
 
 // Shows a string representation of the `kfl` type.
-pub fun kfl/show(this : kfl) : e string
+pub fun show(this : kfl) : e string
   match this
     Impossible -> "impossible"
     Probably-Not -> "probably not"
@@ -66,7 +66,7 @@ pub fun kfl/show(this : kfl) : e string
     Guaranteed -> "guaranteed"
 
 // KFL multiplication, or the probability of cooccurrence of two independent events.
-pub fun kfl/(*)(a: kfl, b: kfl): e kfl
+pub fun (*)(a: kfl, b: kfl): e kfl
   val (l, h) = match a.cmp(b) // this operation is commutative
     Gt -> (b, a)
     _ -> (a, b)
@@ -92,7 +92,7 @@ pub fun kfl/(*)(a: kfl, b: kfl): e kfl
     (Guaranteed, _) -> Guaranteed
 
 // KFL addition, or the probability of occurrence of at least one of two independent events.
-pub fun kfl/(+)(a: kfl, b: kfl): e kfl
+pub fun (+)(a: kfl, b: kfl): e kfl
   val (l, h) = match a.cmp(b) // this operation is commutative
     Gt -> (b, a)
     _ -> (a, b)