ensure-math-class ( class must-be -- class' )

Vocabulary

compiler.tree.propagation.known-words

Inputs

class	an object
must-be	an object

Outputs

class'

an object

Definition

USING: classes.algebra kernel ;

IN: compiler.tree.propagation.known-words

: ensure-math-class ( class must-be -- class' )
    [ class<= ] most ;