Property | Type | Description | |
---|---|---|---|
TypeCheck | void |
Method | Description | |
---|---|---|
MonaIsEmpty ( |
||
Print ( StringBuilder sb ) : void |
Method | Description | |
---|---|---|
TypeCheck ( MonaDecl>.Dictionary |
public MonaIsEmpty ( |
||
token | ||
term | ||
return | System |