true-out ( quot effect -- quot' )

Vocabulary

inverse

Inputs

quot	an object
effect	an object

Outputs

quot'

an object

Definition

USING: accessors generalizations kernel sequences ;

IN: inverse

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