Searched refs:RInverse (Results 1 – 2 of 2) sorted by relevance
33 pub enum RInverse {} enum40 impl Encoding for RInverse {} implementation54 type Output = RInverse;70 impl<E: ReductionEncoding> ProductEncoding for (RInverse, E)86 impl ProductEncoding for (RR, RInverse) { implementation87 type Output = <(RInverse, RR) as ProductEncoding>::Output;
517 ) -> Elem<Smaller, RInverse> { in elem_reduced() argument