Skip to main content

intersect_pi_extension

ftml_solver::rules::operators::intersection

Function intersect_pi_extension 

Source 
pub fn intersect_pi_extension<Split: SplitStrategy>(
    intersect: SymbolUri,
    pi: SymbolUri,
) -> PiExtensionRule<Split>