[ amb-integer ] [ nth ] bi ;\r
\r
: amb ( seq -- elt )\r
- dup empty?\r
- [ drop fail f ]\r
- [ unsafe-amb ] if ; inline\r
+ [ fail f ]\r
+ [ unsafe-amb ] if-empty ; inline\r
\r
MACRO: amb-execute ( seq -- quot )\r
[ length 1 - ] [ <enum> [ 1quotation ] assoc-map ] bi\r