#include "mlir-c/IR.h"

Include dependency graph for SMT.h:

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

Functions
	MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (SMT, smt)

Function Documentation

◆ MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION	(	SMT	,
		smt
	)