Package | Description |
---|---|
org.clafer.ast |
This package provides the language for building Clafer AST.
|
Modifier and Type | Class and Description |
---|---|
class |
AstBoolClafer
The primitive boolean Clafer.
|
class |
AstIntClafer
The primitive integer Clafer.
|
Copyright © 2013. All Rights Reserved.