From 9477dbe667f250ecd23f8fc0d56b942191526421 Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Thu, 25 Feb 2021 14:42:55 +0100
Subject: Stare semestry, niepoukladane

---
 Semestr 3/pf/lista7/Perm.mli | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 Semestr 3/pf/lista7/Perm.mli

(limited to 'Semestr 3/pf/lista7/Perm.mli')

diff --git a/Semestr 3/pf/lista7/Perm.mli b/Semestr 3/pf/lista7/Perm.mli
new file mode 100644
index 0000000..cc18496
--- /dev/null
+++ b/Semestr 3/pf/lista7/Perm.mli	
@@ -0,0 +1,24 @@
+
+module type OrderedType = sig
+  type t
+  val compare : t -> t -> int
+end
+
+module type S = sig
+  type key
+  type t
+  (** permutacja jako funkcja *)
+  val apply : t -> key -> key
+  (** permutacja identycznościowa *)
+  val id : t
+  (** permutacja odwrotna *)
+  val invert : t -> t
+  (** permutacja która tylko zamienia dwa elementy miejscami *)
+  val swap : key -> key -> t
+  (** złożenie permutacji (jako złożenie funkcji) *)
+  val compose : t -> t -> t
+  (** porównywanie permutacji *)
+  val compare : t -> t -> int
+end
+
+module Make(Key : OrderedType) : S with type key = Key.t
\ No newline at end of file
-- 
cgit v1.2.3