sig
  type pred
  type decl
  val export_section : Stdlib.Format.formatter -> string -> unit
  val export_goal :
    Stdlib.Format.formatter -> string -> Mcfg.Export.pred -> unit
  val export_decl : Stdlib.Format.formatter -> Mcfg.Export.decl -> unit
end