Function conv_linearization

fn conv_linearization<'a, T, U, F>(
    linearization: &'a Linearization<Vec<PolishToken<T, Column, BerkeleyChallengeTerm>>, Column>,
    fun: F,
) -> Linearization<Vec<PolishToken<U, Column, BerkeleyChallengeTerm>>, Column>
where
    T: 'a,
    F: Fn(&T) -> U,