rustproof_libsmt::logics::qf_abv

Function array_const

Source 
pub fn array_const<T, P, Q>(idx_ty: T, val_ty: P, val: Q) -> QF_ABV_Fn
where
    T: Into<QF_ABV_Sorts>,
    P: Into<QF_ABV_Sorts>,
    Q: Into<QF_ABV_Fn>,