[−][src]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. |