with-inner-d ( quot -- inner-d )

Vocabulary

stack-checker.row-polymorphism

Inputs

quot

an object

Outputs

inner-d

an object

Definition

USING: kernel math.order namespaces sequences
stack-checker.state ;

IN: stack-checker.row-polymorphism

: with-inner-d ( quot -- inner-d )
    inner-d-index get
    [ meta-d length inner-d-index set call ] dip
    inner-d-index get [ min inner-d-index set ] keep ; inline