chickadee
»
amb
»
amb-assert
Identifier search
(amb-assert OK?)
syntax
Evaluates
OK?
and fails when
#f
.