Skip to main content

arithmetic_operation

lemma::computation::arithmetic

Function arithmetic_operation 

Source 
pub fn arithmetic_operation(
    left: &LiteralValue,
    op: &ArithmeticComputation,
    right: &LiteralValue,
) -> OperationResult
Expand description

Perform type-aware arithmetic operation, returning OperationResult (Veto for runtime errors)