Tui_emacs
type model
val disk : (string * string) list
val program : model Tui.program
val buffer_name : model -> string
val text : model -> string
val point : model -> int
val message : model -> string
val file : model -> string -> string option