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