Function tendermint::lite::verifier::verify_and_update_single

pub fn verify_and_update_single<TS, SH, C, L, S>(
    untrusted_sh: &SH, 
    untrusted_vals: &C::ValidatorSet, 
    untrusted_next_vals: &C::ValidatorSet, 
    trust_threshold: &L, 
    trusting_period: &Duration, 
    now: &SystemTime, 
    store: &mut S
) -> Result<(), Error> where
    TS: TrustedState<LastHeader = SH, ValidatorSet = C::ValidatorSet>,
    SH: SignedHeader<Commit = C>,
    C: Commit,
    L: TrustThreshold,
    S: Store<TrustedState = TS>, 

Attempt to update the store to the given untrusted header. Ensures our last trusted header hasn't expired yet, and that the untrusted header can be verified using only our latest trusted state from the store. This function is primarily for use by IBC handlers.