Module Qed.Export_whycore

Common Exportation Engine for Why-3 and Alt-Ergo

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