Skip to main content

Compare k

Gitlab

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