aboutsummaryrefslogtreecommitdiff
path: root/selection.mli
diff options
context:
space:
mode:
Diffstat (limited to 'selection.mli')
-rwxr-xr-xselection.mli20
1 files changed, 0 insertions, 20 deletions
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