(2/-with-epsilon) ( epsilon? num -- epsilon?' num' )


Vocabulary
math.integers.private

Inputs
epsilon?an object
numan object


Outputs
epsilon?'an object
num'an object


Definition