chickadee
»
amb
»
required
Identifier search
(required EXPRESSION ...)
syntax
Conjunction of
(amb-assert EXPRESSION) ...
.