Skip to main content
The Rascal Meta Programming Language
Docs
Blog
Release notes
Projects
Team
GitHub
Search
Recipes
demo
lang
logic
ast
ast
Propositions
Booleans
Previous
logic
Next
module demo::lang::logic::ast::Booleans