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