package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type

Common types.

type size = {
  1. rows : int;
  2. cols : int;
}

Type of sizes.

val rows : size -> int
val cols : size -> int
val string_of_size : size -> string

Returns the string representation of the given size.

type coord = {
  1. row : int;
  2. col : int;
}

Type of coordinates.

val row : coord -> int
val col : coord -> int
val string_of_coord : coord -> string

Returns the string representation of the given coordinates.

type rect = {
  1. row1 : int;
  2. col1 : int;
  3. row2 : int;
  4. col2 : int;
}

Type of rectangles.

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

type horz_alignment =
  1. | H_align_left
  2. | H_align_center
  3. | H_align_right

Horizontal alignment.

type vert_alignment =
  1. | V_align_top
  2. | V_align_center
  3. | V_align_bottom

Vertical alignement.

type 'a directions = {
  1. left : 'a;
  2. right : 'a;
  3. up : 'a;
  4. down : 'a;
}

Movement directions.