Dialect.h.inc File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	llzk::verif::VerifDialect
	LLZK verification dialect for encoding specifications for functions and structs. More...

Namespaces
namespace	llzk
namespace	llzk::verif