Function transform_sort_vec

pub fn transform_sort_vec<F: FnMut(Expr) -> Result<Transformed<Expr>>>(
    sorts: Vec<Sort>,
    f: &mut F,
) -> Result<Transformed<Vec<Sort>>>