From c5fcf7179a83ef65c86c6a4a390029149e518649 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Tue, 5 Oct 2021 21:49:54 +0200 Subject: Duzy commit ze smieciami --- Semestr 3/pf/lista7/Perm.mli | 24 ------------------------ 1 file changed, 24 deletions(-) delete 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 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 -- cgit v1.2.3