Function comparing_eclass_extract_sketch

pub fn comparing_eclass_extract_sketch<L, A, CF>(
    s: &Sketch<L>,
    cost_f1: CF,
    cost_f2: CF,
    egraph: &EGraph<L, A>,
    id: Id,
) -> Option<(CF::Cost, RecExpr<L>)>
where
    L: Language + Display,
    A: Analysis<L>,
    CF: CostFunction<L>,
    CF::Cost: 'static + Ord,