sig type pred val export_goal : Format.formatter -> string -> Mwp.Export.pred -> unit val export_decl : Format.formatter -> Mwp.Export.pred Formula.declaration -> unit end