Skip to main content

provisional

logicaffeine_compile::semantics::exact

Function provisional 

Source 
pub fn provisional(
    value: RuntimeValue,
    steps: u64,
    revisions: u64,
) -> RuntimeValue
Expand description

A provisional answer: the current guess after steps cases with revisions changes.