src/generic/all.ts

@@ -1,10 +0,0 @@
-import { ForType } from '../core/Dispatcher.js'
-import { GenericReturn } from './type.js'
-import * as generic from './arithmetic.js'
-
-export { generic }
-
-declare module "../core/Dispatcher" {
-   interface ReturnTypes<Params>
-      extends ForType<'numbers', GenericReturn<Params>> { }
-}

src/generic/arithmetic.ts

@@ -1,17 +0,0 @@
-import { ConservativeUnary, Dependency, ImpType, Signature } from "../core/Dispatcher";
-
-declare module "./type" {
-  interface GenericReturn<Params> {
-    // Jos: not sure how to define this or why it is needed
-    square: Signature<Params, [T], T>
-    // square: ConservativeUnary<Params, T>
-    // square: Params extends [infer R]
-    //   ? R extends number ? UnderlyingReal<R> : never
-    //    : never
-  }
-}
-
-export const square =
-  <T>(dep: Dependency<'multiply', [T, T]>):
-    ImpType<'square', [T]> =>
-    z => dep.multiply(z, z)

src/generic/type.ts

@@ -1,3 +0,0 @@
-export interface GenericReturn<Params> {
-
-}

src/numbers/relational.ts

@@ -1,12 +1,11 @@
-import { configDependency } from '../core/Config.js'
-import { Signature, ImpType, Dependency } from '../core/Dispatcher.js'
+import {configDependency} from '../core/Config.js'
+import {Signature, ImpType} from '../core/Dispatcher.js'
 
 const DBL_EPSILON = Number.EPSILON || 2.2204460492503130808472633361816E-16
 
 declare module "./type" {
    interface NumbersReturn<Params> {
       equal: Signature<Params, [number, number], boolean>
-      unequal: Signature<Params, [number, number], boolean>
    }
 }
 
@@ -26,9 +25,3 @@ export const equal =
 
       return false
    }
-
-export const unequal = (dep: Dependency<'equal', [number, number]>):
-   ImpType<'unequal', [number, number]> =>
-   (x, y) => {
-      return !dep.equal(x, y)
-   }