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