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