/usr/lib/ocaml/lambda-term/lTerm_geom.mli is in liblambda-term-ocaml-dev 1.10.1-2build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 | (*
* lTerm_geom.mli
* --------------
* Copyright : (c) 2011, Jeremie Dimino <jeremie@dimino.org>
* Licence : BSD3
*
* This file is a part of Lambda-Term.
*)
(** Common types. *)
(** Type of sizes. *)
type size = {
rows : int;
cols : int;
}
val rows : size -> int
val cols : size -> int
val string_of_size : size -> string
(** Returns the string representation of the given size. *)
(** Type of coordinates. *)
type coord = {
row : int;
col : int;
}
val row : coord -> int
val col : coord -> int
val string_of_coord : coord -> string
(** Returns the string representation of the given coordinates. *)
(** Type of rectangles. *)
type rect = {
row1 : int;
col1 : int;
row2 : int;
col2 : int;
}
val row1 : rect -> int
val col1 : rect -> int
val row2 : rect -> int
val col2 : rect -> int
val size_of_rect : rect -> size
(** Returns the size of a rectangle. *)
val string_of_rect : rect -> string
(** Returns the string representation of the given rectangle. *)
val in_rect : rect -> coord -> bool
(** Test if coord is within rect *)
(** Horizontal alignment. *)
type horz_alignment =
| H_align_left
| H_align_center
| H_align_right
(** Vertical alignement. *)
type vert_alignment =
| V_align_top
| V_align_center
| V_align_bottom
(** Movement directions. *)
type 'a directions = {
left : 'a;
right : 'a;
up : 'a;
down : 'a;
}
|