Uses of Class
org.clafer.ast.AstBoolClafer

Packages that use AstBoolClafer

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

Uses of AstBoolClafer in org.clafer.ast

Fields in org.clafer.ast declared as AstBoolClafer

Modifier and Type	Field and Description
static AstBoolClafer	Asts.BoolType
static AstBoolClafer	AstBoolClafer.Singleton