CoqEmitter Class Reference

#include <emitter/coq/coqemitter.h>

Public Member Functions
	CoqEmitter (llvm::raw_ostream &os)
	Creates a coq emitter.
void	Write (const Prog &prog)
	Writes a program.

Detailed Description

Coq IR emitter

---

The documentation for this class was generated from the following files:

• emitter/coq/coqemitter.h
• emitter/coq/coqemitter.cpp