From a6b5a6bdd138a5ccc6827bcc73580df1e9218820 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 24 Nov 2017 09:22:24 +0100 Subject: Moved all the code to src directory --- selection.mli | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100755 selection.mli (limited to 'selection.mli') diff --git a/selection.mli b/selection.mli deleted file mode 100755 index fb207e4..0000000 --- a/selection.mli +++ /dev/null @@ -1,20 +0,0 @@ -type t - -type axe = - | Horizontal of int - | Vertical of int - | Cell of (int * int) - -(** Create a new selection from a cell *) -val create: (int * int) -> t - -val is_selected: axe -> t -> bool - -(** Get the selection origin *) -val extract: t -> (int * int) - -val shift: t -> (int * int) -> (int * int) - -val fold: ('a -> int * int -> 'a) -> 'a -> t -> 'a - -val extends: Actions.direction -> t -> t -- cgit v1.2.3