] [ infer-known* ] if ;
IDENTITY-MEMO: inputs/outputs ( quot -- in out )
- infer in-out 2length ;
+ infer [ in>> ] [ out>> ] bi 2length ;
: inputs ( quot -- n ) inputs/outputs drop ; inline
peek-d
infer-known [
[ pop-d 1array #drop, ]
- [ in-out [ length apply-object ] bi@ ] bi*
+ [ [ in>> ] [ out>> ] bi [ length apply-object ] bi@ ] bi*
] [
\ inputs/outputs dup required-stack-effect apply-word/effect
pop-d pop-d swap