Skip to main content

AggregateViewFn

problemreductions::rules::registry

Type Alias AggregateViewFn 

Source 
pub type AggregateViewFn = fn(&dyn DynReductionResult) -> ExtractionResult<&dyn DynAggregateReductionResult>;
Expand description

Value mapping borrowed from an already constructed witness reduction.