fn decode_constraints_data<F: FieldWitness>(
internal_vars: &[u8],
rows_rev: &[u8],
) -> Option<(InternalVars<F>, Vec<Vec<Option<V>>>)>
fn decode_constraints_data<F: FieldWitness>(
internal_vars: &[u8],
rows_rev: &[u8],
) -> Option<(InternalVars<F>, Vec<Vec<Option<V>>>)>