aboutsummaryrefslogtreecommitdiff
path: root/selection.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-11-24 09:22:24 +0100
committerSébastien Dailly <sebastien@chimrod.com>2017-11-24 09:23:38 +0100
commita6b5a6bdd138a5ccc6827bcc73580df1e9218820 (patch)
treeff577395c1a5951a61a7234322f927f6ead5ee29 /selection.mli
parentecb6fd62c275af03a07d892313ab3914d81cd40e (diff)
Moved all the code to src directory
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