pub fn index_composition<E, C, const N: usize>(
superset: &[E],
subset: [E; N],
composition: C,
) -> Result<IndexComposition<C, N>, Error>where
E: PartialEq,Expand description
A factory helper method to create an IndexComposition by looking at
superset- a set of identifiers of a greater (outer) querysubset- a set of identifiers of a smaller query, the one which corresponds to the inner composition directly
Identifiers may be anything Eq - OracleId, MultilinearPolyOracle<F>, etc.