Savevo_plugin.Main
val save_vo_file : io:'a -> token:Coq.Limits.Token.t -> doc:Fleche.Doc.t -> unit
val main : unit -> unit