pub fn handle_div_op(
    left: Object,
    right: Object,
    evaluator: &mut Evaluator,
) -> Result<Object, RuntimeErrorKind> {
    let right_inv = invert(right, evaluator)?;
    handle_mul_op(left, right_inv, evaluator)
}
/// For a / b . First compute the 1/b and constraint it to be the inverse of b
/// Then multiply this inverse by a
For a / b . First compute the 1/b and constraint it to be the inverse of b
Then multiply this inverse by a
For a / b . First compute the 1 / b and constraint it to be the inverse of b Then multiply this inverse by a
pub fn handle_div_op(
    left: Object,
    right: Object,
    evaluator: &mut Evaluator,
) -> Result<Object, RuntimeErrorKind> {
    let right_inv = invert(right, evaluator)?;
    handle_mul_op(left, right_inv, evaluator)
}
pub fn handle_div_op ( left : Object , right : Object , evaluator : & mut Evaluator , ) -> Result < Object , RuntimeErrorKind > { let right_inv = invert ( right , evaluator ) ? ; handle_mul_op ( left , right_inv , evaluator ) }
For a / b .
For a / b .
left
Object
right
Object
evaluator
&mut Evaluator
left
Object
right
Object
evaluator
&mut Evaluator