Skip to main content

array_sort

rustproof_libsmt::logics::qf_abv

Function array_sort 

Source 
pub fn array_sort<T: Into<QF_ABV_Sorts>, P: Into<QF_ABV_Sorts>>(
    idx: T,
    data: P,
) -> QF_ABV_Sorts