Function transform_sort_option_vec

pub fn transform_sort_option_vec<F: FnMut(Expr) -> Result<Transformed<Expr>>>(
    sorts_option: Option<Vec<Sort>>,
    f: &mut F,
) -> Result<Transformed<Option<Vec<Sort>>>>

Transforms an optional vector of sort expressions by applying the provided closure f.