Uses of Class
org.clafer.ast.AstIntClafer

Packages that use AstIntClafer

Package	Description
org.clafer.ast	This package provides the language for building Clafer AST.

Uses of AstIntClafer in org.clafer.ast

Fields in org.clafer.ast declared as AstIntClafer

Modifier and Type	Field and Description
static AstIntClafer	Asts.IntType
static AstIntClafer	AstIntClafer.Singleton