diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:22:24 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:23:38 +0100 |
commit | a6b5a6bdd138a5ccc6827bcc73580df1e9218820 (patch) | |
tree | ff577395c1a5951a61a7234322f927f6ead5ee29 /selection.mli | |
parent | ecb6fd62c275af03a07d892313ab3914d81cd40e (diff) |
Moved all the code to src directory
Diffstat (limited to 'selection.mli')
-rwxr-xr-x | selection.mli | 20 |
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 |