refactoring

Resolve #7779
2021-11-12 02:02:25 +09:00 · 2021-11-12 02:02:25 +09:00 · 0e4a111f81
commit 0e4a111f81
parent 037837b551
1714 changed files with 20803 additions and 11751 deletions
--- a/src/prelude/relation.ts
+++ b/src/prelude/relation.ts
@ -1,5 +0,0 @@
-export type Predicate<T> = (a: T) => boolean;
-
-export type Relation<T, U> = (a: T, b: U) => boolean;
-
-export type EndoRelation<T> = Relation<T, T>;