Module tendermint_light_client::contracts

Predicates used in components contracts.

Functions

is_within_trust_period
light_store_contains_block_within_trusting_period
trusted_store_contains_block_at_target_height