Skip to main content

refine_declaration_in_context

omena_refinement

Function refine_declaration_in_context 

Source 
pub fn refine_declaration_in_context(
    declaration: &CascadeDeclaration,
    context: &CascadeRefinementContextV0,
) -> RefinementWitnessV0