1 files changed, 0 insertions, 24 deletions
diff --git a/Semestr 3/pf/lista7/Perm.mli b/Semestr 3/pf/lista7/Perm.mli
deleted file mode 100644
index cc18496..0000000
--- a/Semestr 3/pf/lista7/Perm.mli
+++ /dev/null
@@ -1,24 +0,0 @@
-
-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