Main (coq-lsp.Example

val msg_info : 
  io:Fleche__Io.CallBack.t ->
  ('a, Stdlib.Format.formatter, unit) Stdlib.format ->
  'a

val simple_action : 
  io:Fleche__Io.CallBack.t ->
  token:'a ->
  doc:Fleche.Doc.t ->
  unit

val main : unit -> unit