Skip to main content

summarize_refinement_context_v0

omena_refinement

Function summarize_refinement_context_v0 

Source 
pub fn summarize_refinement_context_v0(
    predicates: &[RefinementPropertyPredicateV0],
) -> RefinementContextSummaryV0