2 USING: kernel sequences math inference accessors macros
3 combinators.short-circuit ;
5 IN: combinators.short-circuit.smart
7 MACRO: && ( quots -- quot )
8 dup first infer [ in>> ] [ out>> ] bi - 1+ n&&-rewrite ;
10 MACRO: || ( quots -- quot )
11 dup first infer [ in>> ] [ out>> ] bi - 1+ n||-rewrite ;