Glt_common.Term_info
val get_cursor_pos : Stdlib.Format.formatter -> int * int
val get_window_size : Stdlib.Format.formatter -> int * int
val get_row_nb : Stdlib.Format.formatter -> int
val get_col_nb : Stdlib.Format.formatter -> int