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