Compare k
The list of files together with the number of (compare lemmas / compare definitions). The script to generate this file is in scripts/list_compare_functions_k.rb.
🟢 Blinded_public_key_hash.v (2 / 2)​
Compare definitions:
compare
compare
Compare lemmas:
compare_is_valid
compare_is_valid
🟢 Block_payload_hash.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Bond_id_repr.v (2 / 2)​
Compare definitions:
compare
compare
Compare lemmas:
compare_is_valid
compare_is_valid
🟢 Cache_repr.v (1 / 1)​
Compare definitions:
compare_namespace
Compare lemmas:
compare_namespace_is_valid
🟢 Contract_hash.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Contract_repr.v (2 / 2)​
Compare definitions:
compare
compare
Compare lemmas:
compare_is_valid
compare_is_valid
🟢 Cycle_repr.v (2 / 2)​
Compare definitions:
compare
compare
Compare lemmas:
compare_is_valid
compare_is_valid
🔴 Dal_slot_repr.v (0 / 1)​
Compare definitions:
compare
🟢 Destination_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Entrypoint_repr.v (2 / 2)​
Compare definitions:
compare
compare
Compare lemmas:
compare_is_valid
compare_is_valid
🟢 Gas_limit_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🔴 Indexable.v (3 / 6)​
Compare definitions:
compare
compare_values
compare_indexes
compare_values
compare_indexes
compare
Compare lemmas:
compare_is_valid
compare_values_is_valid
compare_indexes_is_valid
🟢 Lazy_storage_kind.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Level_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Non_empty_string.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Nonce_hash.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Period_repr.v (2 / 2)​
Compare definitions:
compare
compare
Compare lemmas:
compare_is_valid
compare_is_valid
🔴 Raw_context.v (0 / 1)​
Compare definitions:
compare_cost
🟢 Raw_level_repr.v (2 / 2)​
Compare definitions:
compare
compare
Compare lemmas:
compare_is_valid
compare_is_valid
🔴 Receipt_repr.v (2 / 3)​
Compare definitions:
compare_balance
compare_update_origin
compare
Compare lemmas:
compare_update_origin_is_valid
compare_balance_is_valid
🟢 Round_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Saturation_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Sc_rollup_commitment_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🔴 Sc_rollup_game_repr.v (0 / 1)​
Compare definitions:
compare
🔴 Sc_rollup_inbox_repr.v (0 / 1)​
Compare definitions:
compare
🟢 Sc_rollup_repr.v (3 / 3)​
Compare definitions:
compare
compare
compare
Compare lemmas:
compare_is_valid
compare_is_valid
compare_is_valid
🟢 Sc_rollup_tick_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🔴 Script_comparable.v (2 / 3)​
Compare definitions:
compare_address
compare_tx_rollup_l2_address
compare_comparable
Compare lemmas:
compare_address_is_valid
compare_tx_rollup_l2_address_is_valid
🟢 Script_expr_hash.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Script_int.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Script_string.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Script_timestamp.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Script_typed_ir.v (2 / 2)​
Compare definitions:
compare
compare
Compare lemmas:
compare_is_valid
compare_is_valid
🟢 State_hash.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🔴 Storage.v (0 / 3)​
Compare definitions:
compare
compare
compare
🟢 Tez_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Ticket_hash_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Tx_rollup_commitment_repr.v (3 / 3)​
Compare definitions:
compare
compare
compare
Compare lemmas:
compare_is_valid
compare_is_valid
compare_is_valid
🔴 Tx_rollup_gas.v (0 / 1)​
Compare definitions:
compare_blake2b_hash
🟢 Tx_rollup_inbox_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🔴 Tx_rollup_l2_address.v (4 / 5)​
Compare definitions:
compare
compare
compare
compare_values
compare_indexes
Compare lemmas:
compare_is_valid
compare_is_valid
compare_values_is_valid
compare_indexes_is_valid
🟢 Tx_rollup_l2_context_hash.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Tx_rollup_l2_qty.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Tx_rollup_message_hash_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Tx_rollup_message_result_hash_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🔴 Tx_rollup_repr.v (3 / 4)​
Compare definitions:
compare
compare
compare
compare
Compare lemmas:
compare_is_valid
compare_is_valid
compare_is_valid
🟢 Tx_rollup_withdraw_list_hash_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid
🟢 Voting_period_repr.v (1 / 1)​
Compare definitions:
compare
Compare lemmas:
compare_is_valid