pub type JointLookupSpec<F> = JointLookup<SingleLookup<F>, LookupTableID>;Expand description
A spec for checking that the given vector belongs to a vector-valued lookup table, where the components of the vector are computed from a linear combination of locally-accessible cells.