Module type Mcfg.Export

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