From c03e2dfbc00bf49de6e9651086ead1966dd127a2 Mon Sep 17 00:00:00 2001 From: MeiMei <30769358+mei23@users.noreply.github.com> Date: Wed, 19 Dec 2018 22:38:27 +0900 Subject: Change naming (#3678) * Change naming * x to a --- src/prelude/relation.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/prelude/relation.ts') diff --git a/src/prelude/relation.ts b/src/prelude/relation.ts index b3aedc5ffc..1f4703f52f 100644 --- a/src/prelude/relation.ts +++ b/src/prelude/relation.ts @@ -1,5 +1,5 @@ -export type Predicate = (x: T) => boolean; +export type Predicate = (a: T) => boolean; -export type Relation = (x: T, y: U) => boolean; +export type Relation = (a: T, b: U) => boolean; export type EndoRelation = Relation; -- cgit v1.2.3-freya