Function eclass_satisfies_sketch

pub fn eclass_satisfies_sketch<L: Language, A: Analysis<L>>(
    s: &Sketch<L>,
    egraph: &EGraph<L, A>,
    id: Id,
) -> bool

Is the id e-class of egraph representing at least one program satisfying s?