(check-variable) ( actual-count declared-count variable vars -- diff ? )

Vocabulary

stack-checker.row-polymorphism

Inputs

actual-count	an object
declared-count	an object
variable	an object
vars	an object

Outputs

diff	an object
?	an object

Definition

USING: kernel math ;

IN: stack-checker.row-polymorphism

: (check-variable)
    ( actual-count declared-count variable vars -- diff ? )
    [ - ] 2dip dupd [ (diff-variable) t ] 2curry [ dup 0 <= ] if
    ;