diff options
author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2021-10-05 21:49:54 +0200 |
---|---|---|
committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2021-10-05 21:49:54 +0200 |
commit | c5fcf7179a83ef65c86c6a4a390029149e518649 (patch) | |
tree | d29ffc5b86a0d257453cedcf87d91a13d8bf3b0d /Semestr 3/pf/lista7/Perm.mli | |
parent | f8a88b6a4aba1f66d04711a9330eaba49a50c463 (diff) |
Duzy commit ze smieciami
Diffstat (limited to 'Semestr 3/pf/lista7/Perm.mli')
-rw-r--r-- | Semestr 3/pf/lista7/Perm.mli | 24 |
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 |