Module tendermint_light_client::contracts

Predicates used in components contracts.

Functions

is_within_trust_period	Whether or not the given block is within the given trusting period, relative to the given time.
light_store_contains_block_within_trusting_period	Whether or not the given light store contains a trusted block within the trusting period.
trusted_store_contains_block_at_target_height	Whether or not the given light store contains a verified or trusted block at the given target height.