pub fn provisional<V: TowerValue>(value: V, steps: u64, revisions: u64) -> VExpand description
A provisional answer: the current guess after steps cases with revisions changes. A guess
that is already an answer joins this evidence to its own.
pub fn provisional<V: TowerValue>(value: V, steps: u64, revisions: u64) -> VA provisional answer: the current guess after steps cases with revisions changes. A guess
that is already an answer joins this evidence to its own.