Module Qed.Export_why3

Exportation Engine for Why-3.

Provides a full engine from a linker.

module Make (T : Logic.Term) : sig ... end