From ccdbbb4716b240c3e5aa4c3389dcd92e142df22e Mon Sep 17 00:00:00 2001
From: "github-classroom[bot]"
 <66690702+github-classroom[bot]@users.noreply.github.com>
Date: Wed, 4 Oct 2023 14:42:46 +0000
Subject: Initial commit

---
 src/act4e_solutions/maps.py | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 src/act4e_solutions/maps.py

(limited to 'src/act4e_solutions/maps.py')

diff --git a/src/act4e_solutions/maps.py b/src/act4e_solutions/maps.py
new file mode 100644
index 0000000..aff881f
--- /dev/null
+++ b/src/act4e_solutions/maps.py
@@ -0,0 +1,16 @@
+from typing import TypeVar
+
+import act4e_interfaces as I
+
+A = TypeVar("A")
+B = TypeVar("B")
+C = TypeVar("C")
+
+
+class SolFiniteMapOperations(I.FiniteMapOperations):
+
+    def identity(self, s: I.Setoid[A]) -> I.Mapping[A, A]:
+        raise NotImplementedError()
+
+    def compose(self, f: I.FiniteMap[A, B], g: I.FiniteMap[B, C]) -> I.FiniteMap[A, C]:
+        raise NotImplementedError()
-- 
cgit v1.2.1