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