time_arithmetic

lemma::evaluator::datetime

Function time_arithmetic 

Source 
pub fn time_arithmetic(
    left: &LiteralValue,
    op: &ArithmeticOperation,
    right: &LiteralValue,
) -> LemmaResult<LiteralValue>
Expand description

Perform time arithmetic operations