Function tendermint::lite::verifier::verify_single

pub fn verify_single<TS, SH, C, L>(
    trusted_state: &TS, 
    untrusted_sh: &SH, 
    untrusted_vals: &C::ValidatorSet, 
    untrusted_next_vals: &C::ValidatorSet, 
    trust_threshold: &L
) -> Result<(), Error> where
    TS: TrustedState<LastHeader = SH, ValidatorSet = C::ValidatorSet>,
    SH: SignedHeader<Commit = C>,
    C: Commit,
    L: TrustThreshold,