functor
  (E : sig
         type pred = unit Fol.d_pred
         val export_goal : Format.formatter -> string -> pred -> unit
         val export_decl :
           Format.formatter -> pred Formula.declaration -> unit
       end->
  sig
    type pred = Caveat_mem.Make.WP.F.pred
    val export_decl :
      Format.formatter ->
      Caveat_mem.Make.WP.F.pred Formula.declaration -> unit
    val export_goal :
      Format.formatter -> string -> Caveat_mem.Make.WP.F.pred -> unit
  end