From b2eafc94bf49eccfba050c8da67243cfe6043eb9 Mon Sep 17 00:00:00 2001 From: Amanda Liu Date: Sun, 6 Mar 2022 23:01:31 -0500 Subject: [PATCH] Change precedence of map includes operator according to spring 21 TODO --- Map.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Map.v b/Map.v index 6953e4d..24844f7 100644 --- a/Map.v +++ b/Map.v @@ -20,7 +20,7 @@ Module Type S. Infix "$-" := remove (at level 50, left associativity). Infix "$++" := join (at level 50, left associativity). Infix "$?" := lookup (at level 50, no associativity). - Infix "$<=" := includes (at level 90). + Infix "$<=" := includes (at level 75). Parameter dom : forall A B, fmap A B -> set A.