package lambda-term

  1. Overview
  2. Docs
type size = {
  1. rows : int;
  2. cols : int;
}
val rows : size -> int
val cols : size -> int
val string_of_size : size -> string
type coord = {
  1. row : int;
  2. col : int;
}
val row : coord -> int
val col : coord -> int
val string_of_coord : coord -> string
type rect = {
  1. row1 : int;
  2. col1 : int;
  3. row2 : int;
  4. col2 : int;
}
val row1 : rect -> int
val col1 : rect -> int
val row2 : rect -> int
val size_of_rect : rect -> size
val string_of_rect : rect -> string
type horz_alignment =
  1. | H_align_left
  2. | H_align_center
  3. | H_align_right
type vert_alignment =
  1. | V_align_top
  2. | V_align_center
  3. | V_align_bottom