Module Glt_common.Term_instr
type instr
=
|
ClearScreen
|
ClearLine
|
HideCursor
|
ShowCursor
|
NewLine
|
MoveCursorRight
|
MoveCursorDown
|
MoveCursorTopLeft
|
GetCursorPos
|
MoveCursorTo of int * int
val apply : Stdlib.Format.formatter -> instr -> unit