Interpreter_workload.Instructionsval drop : ir_sized_stepval dup : ir_sized_stepval swap : ir_sized_stepval push : ir_sized_stepval unit : ir_sized_stepval cons_pair : ir_sized_stepval car : ir_sized_stepval cdr : ir_sized_stepval cons_some : ir_sized_stepval cons_none : ir_sized_stepval if_none : ir_sized_stepval opt_map : is_some:bool -> ir_sized_stepval left : ir_sized_stepval right : ir_sized_stepval if_left : ir_sized_stepval cons_list : ir_sized_stepval nil : ir_sized_stepval if_cons : ir_sized_stepval list_map : ir_sized_stepval list_iter : ir_sized_stepval iter : ir_sized_stepval list_size : 'a -> ir_sized_stepval empty_set : ir_sized_stepval set_iter : Size.t -> ir_sized_stepval set_mem : Size.t -> Size.t -> ir_sized_stepval set_update : Size.t -> Size.t -> ir_sized_stepval set_size : 'a -> ir_sized_stepval empty_map : ir_sized_stepval map_map : Size.t -> ir_sized_stepval map_iter : Size.t -> ir_sized_stepval map_mem : Size.t -> Size.t -> ir_sized_stepval map_get : Size.t -> Size.t -> ir_sized_stepval map_update : Size.t -> Size.t -> ir_sized_stepval map_size : 'a -> ir_sized_stepval empty_big_map : ir_sized_stepval big_map_mem : Size.t -> Size.t -> ir_sized_stepval big_map_get : Size.t -> Size.t -> ir_sized_stepval big_map_update : Size.t -> Size.t -> ir_sized_stepval big_map_get_and_update : Size.t -> Size.t -> ir_sized_stepval concat_string : Size.t -> Size.t -> ir_sized_stepval concat_string_pair : Size.t -> Size.t -> ir_sized_stepval slice_string : Size.t -> ir_sized_stepval string_size : 'a -> ir_sized_stepval concat_bytes : Size.t -> Size.t -> ir_sized_stepval concat_bytes_pair : Size.t -> Size.t -> ir_sized_stepval slice_bytes : Size.t -> ir_sized_stepval bytes_size : ir_sized_stepval lsl_bytes : Size.t -> Size.t -> ir_sized_stepval lsr_bytes : Size.t -> Size.t -> ir_sized_stepval or_bytes : Size.t -> Size.t -> ir_sized_stepval and_bytes : Size.t -> Size.t -> ir_sized_stepval xor_bytes : Size.t -> Size.t -> ir_sized_stepval not_bytes : Size.t -> ir_sized_stepval bytes_nat : Size.t -> ir_sized_stepval nat_bytes : Size.t -> ir_sized_stepval bytes_int : Size.t -> ir_sized_stepval int_bytes : Size.t -> ir_sized_stepval add_seconds_to_timestamp : Size.t -> Size.t -> ir_sized_stepval add_timestamp_to_seconds : Size.t -> Size.t -> ir_sized_stepval sub_timestamp_seconds : Size.t -> Size.t -> ir_sized_stepval diff_timestamps : Size.t -> Size.t -> ir_sized_stepval add_tez : 'a -> 'b -> ir_sized_stepval sub_tez : 'a -> 'b -> ir_sized_stepval sub_tez_legacy : 'a -> 'b -> ir_sized_stepval mul_teznat : 'a -> 'b -> ir_sized_stepval mul_nattez : 'a -> 'b -> ir_sized_stepval ediv_teznat : 'a -> 'b -> ir_sized_stepval ediv_tez : 'a -> 'b -> ir_sized_stepval or_ : ir_sized_stepval and_ : ir_sized_stepval xor_ : ir_sized_stepval not_ : ir_sized_stepval is_nat : 'a -> ir_sized_stepval neg : Size.t -> ir_sized_stepval abs_int : Size.t -> ir_sized_stepval int_nat : 'a -> ir_sized_stepval add_int : Size.t -> Size.t -> ir_sized_stepval add_nat : Size.t -> Size.t -> ir_sized_stepval sub_int : Size.t -> Size.t -> ir_sized_stepval mul_int : Size.t -> Size.t -> ir_sized_stepval mul_nat : Size.t -> Size.t -> ir_sized_stepval ediv_int : Size.t -> Size.t -> ir_sized_stepval ediv_nat : Size.t -> Size.t -> ir_sized_stepval lsl_nat : Size.t -> 'a -> ir_sized_stepval lsr_nat : Size.t -> 'a -> ir_sized_stepval or_nat : Size.t -> Size.t -> ir_sized_stepval and_nat : Size.t -> Size.t -> ir_sized_stepval and_int_nat : Size.t -> Size.t -> ir_sized_stepval xor_nat : Size.t -> Size.t -> ir_sized_stepval not_int : Size.t -> ir_sized_stepval if_ : ir_sized_stepval loop : bool -> ir_sized_stepval loop_left : bool -> ir_sized_stepval dip : ir_sized_stepval exec : ir_sized_stepval apply : rec_flag:bool -> ir_sized_stepval lambda : rec_flag:bool -> ir_sized_stepval failwith_ : ir_sized_stepval compare : Size.t -> Size.t -> ir_sized_stepval eq : ir_sized_stepval neq : ir_sized_stepval lt : ir_sized_stepval gt : ir_sized_stepval le : ir_sized_stepval ge : ir_sized_stepval address : ir_sized_stepval contract : ir_sized_stepval transfer_tokens : ir_sized_stepval implicit_account : ir_sized_stepval create_contract : ir_sized_stepval set_delegate : ir_sized_stepval now : ir_sized_stepval min_block_time : ir_sized_stepval balance : ir_sized_stepval check_signature_ed25519 : 'a -> 'b -> Size.t -> ir_sized_stepval check_signature_secp256k1 : 'a -> 'b -> Size.t -> ir_sized_stepval check_signature_p256 : 'a -> 'b -> Size.t -> ir_sized_stepval check_signature_bls : 'a -> 'b -> Size.t -> ir_sized_stepval hash_key : ir_sized_stepval pack : Size.micheline_size -> ir_sized_stepval unpack : ir_sized_stepval blake2b : Size.t -> ir_sized_stepval sha256 : Size.t -> ir_sized_stepval sha512 : Size.t -> ir_sized_stepval source : ir_sized_stepval sender : ir_sized_stepval self : ir_sized_stepval amount : ir_sized_stepval dig : Size.t -> ir_sized_stepval dug : Size.t -> ir_sized_stepval dipn : Size.t -> ir_sized_stepval dropn : Size.t -> ir_sized_stepval dupn : Size.t -> ir_sized_stepval chain_id : ir_sized_stepval level : ir_sized_stepval view : ir_sized_stepval self_address : ir_sized_stepval never : ir_sized_stepval unpair : ir_sized_stepval voting_power : ir_sized_stepval total_voting_power : ir_sized_stepval keccak : Size.t -> ir_sized_stepval sha3 : Size.t -> ir_sized_stepval add_bls12_381_g1 : ir_sized_stepval add_bls12_381_g2 : ir_sized_stepval add_bls12_381_fr : ir_sized_stepval mul_bls12_381_g1 : ir_sized_stepval mul_bls12_381_g2 : ir_sized_stepval mul_bls12_381_fr : ir_sized_stepval neg_bls12_381_g1 : ir_sized_stepval neg_bls12_381_g2 : ir_sized_stepval neg_bls12_381_fr : ir_sized_stepval pairing_check_bls12_381 : Size.t -> ir_sized_stepval mul_bls12_381_fr_z : Size.t -> ir_sized_stepval mul_bls12_381_z_fr : Size.t -> ir_sized_stepval int_bls12_381_z_fr : ir_sized_stepval comb : Size.t -> ir_sized_stepval uncomb : Size.t -> ir_sized_stepval comb_get : Size.t -> ir_sized_stepval comb_set : Size.t -> ir_sized_stepval ticket : ir_sized_stepval read_ticket : ir_sized_stepval split_ticket : Size.t -> Size.t -> ir_sized_stepval join_tickets : Size.t -> Size.t -> Size.t -> Size.t -> ir_sized_stepval sapling_empty_state : ir_sized_stepval sapling_verify_update : Size.t -> Size.t -> 'a -> 'b -> ir_sized_stepval map_get_and_update : Size.t -> Size.t -> ir_sized_stepval halt : ir_sized_stepval log : ir_sized_stepval open_chest : Size.t -> Size.t -> ir_sized_stepval emit : ir_sized_stepcost model for the EMIT instruction