Module type Mwp.Export


module type Export = sig .. end

type pred 
type decl 
val export_goal : Format.formatter -> string -> pred -> unit
val export_decl : Format.formatter -> decl -> unit