FuncDecl.cs File Reference

Go to the source code of this file.

Data Structures
class	FuncDecl
	Function declarations. More...
class	FuncDecl.Parameter
	Function declarations can have Parameters associated with them. More...

Namespaces
namespace	Microsoft
namespace	Microsoft.Z3