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