chickadee » amb » amb-assert

(amb-assert OK?)syntax

Evaluates OK? and fails if it is #f.