true-out ( quot effect -- quot' )

Vocabulary

inverse

Inputs

quot	an object
effect	an object

Outputs

quot'

an object

Definition

USING: accessors generalizations sequences ;

IN: inverse

: true-out ( quot effect -- quot' )
    out>> length '[ @ _ ndrop t ] ;