diff options
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 |