Module `Michelson_v1_gas.Cost_of`Source

Sourceval cycle : Alpha_context.Gas.cost

Sourceval loop_cycle : Alpha_context.Gas.cost

Sourceval list_size : Alpha_context.Gas.cost

Sourceval nop : Alpha_context.Gas.cost

Sourceval stack_op : Alpha_context.Gas.cost

Sourceval bool_binop : 'a -> 'b -> Alpha_context.Gas.cost

Sourceval bool_unop : 'a -> Alpha_context.Gas.cost

Sourceval pair : Alpha_context.Gas.cost

Sourceval pair_access : Alpha_context.Gas.cost

Sourceval cons : Alpha_context.Gas.cost

Sourceval variant_no_data : Alpha_context.Gas.cost

Sourceval branch : Alpha_context.Gas.cost

Sourceval concat_string : string list -> Alpha_context.Gas.cost

Source

val concat_bytes : 
  Tezos_protocol_environment_003_PsddFKi3.MBytes.t list ->
  Alpha_context.Gas.cost

Sourceval slice_string : int -> Alpha_context.Gas.cost

Sourceval slice_bytes : Alpha_context.Gas.cost

Sourceval map_mem : 'a -> ('b, 'c) Script_typed_ir.map -> Alpha_context.Gas.cost

Sourceval map_to_list : ('b, 'c) Script_typed_ir.map -> Alpha_context.Gas.cost

Sourceval map_get : 'a -> ('b, 'c) Script_typed_ir.map -> Alpha_context.Gas.cost

Source

val map_update : 
  'a ->
  'b ->
  ('c, 'd) Script_typed_ir.map ->
  Alpha_context.Gas.cost

Sourceval map_size : Alpha_context.Gas.cost

Source

val big_map_mem : 
  'key ->
  ('key, 'value) Script_typed_ir.big_map ->
  Alpha_context.Gas.cost

Source

val big_map_get : 
  'key ->
  ('key, 'value) Script_typed_ir.big_map ->
  Alpha_context.Gas.cost

Source

val big_map_update : 
  'key ->
  'value option ->
  ('key, 'value) Script_typed_ir.big_map ->
  Alpha_context.Gas.cost

Sourceval set_to_list : 'a Script_typed_ir.set -> Alpha_context.Gas.cost

Sourceval set_update : 'a -> bool -> 'a Script_typed_ir.set -> Alpha_context.Gas.cost

Sourceval set_mem : 'a -> 'a Script_typed_ir.set -> Alpha_context.Gas.cost

Source

val mul : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Source

val div : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Source

val add : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Source

val sub : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Sourceval abs : 'a Alpha_context.Script_int.num -> Alpha_context.Gas.cost

Sourceval neg : 'a Alpha_context.Script_int.num -> Alpha_context.Gas.cost

Sourceval int : 'a -> Alpha_context.Gas.cost

Source

val add_timestamp : 
  Alpha_context.Script_timestamp.t ->
  'a Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Source

val sub_timestamp : 
  Alpha_context.Script_timestamp.t ->
  'a Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Source

val diff_timestamps : 
  Alpha_context.Script_timestamp.t ->
  Alpha_context.Script_timestamp.t ->
  Alpha_context.Gas.cost

Sourceval empty_set : Alpha_context.Gas.cost

Sourceval set_size : Alpha_context.Gas.cost

Sourceval empty_map : Alpha_context.Gas.cost

Sourceval int64_op : Alpha_context.Gas.cost

Sourceval z_to_int64 : Alpha_context.Gas.cost

Sourceval int64_to_z : Alpha_context.Gas.cost

Source

val bitwise_binop : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Source

val logor : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Source

val logand : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Source

val logxor : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Sourceval lognot : 'a Alpha_context.Script_int.num -> Alpha_context.Gas.cost

Source

val shift_left : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Source

val shift_right : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Sourceval exec : Alpha_context.Gas.cost

Sourceval push : Alpha_context.Gas.cost

Sourceval compare_res : Alpha_context.Gas.cost

Source

val unpack_failed : 
  Tezos_protocol_environment_003_PsddFKi3.MBytes.t ->
  Alpha_context.Gas.cost

Sourceval address : Alpha_context.Gas.cost

Sourceval contract : Alpha_context.Gas.cost

Sourceval transfer : Alpha_context.Gas.cost

Sourceval create_account : Alpha_context.Gas.cost

Sourceval create_contract : Alpha_context.Gas.cost

Sourceval implicit_account : Alpha_context.Gas.cost

Sourceval set_delegate : Alpha_context.Gas.cost

Sourceval balance : Alpha_context.Gas.cost

Sourceval now : Alpha_context.Gas.cost

Sourceval check_signature : Alpha_context.Gas.cost

Sourceval hash_key : Alpha_context.Gas.cost

Source

val hash : 
  Tezos_protocol_environment_003_PsddFKi3.MBytes.t ->
  int ->
  Alpha_context.Gas.cost

Sourceval steps_to_quota : Alpha_context.Gas.cost

Sourceval source : Alpha_context.Gas.cost

Sourceval self : Alpha_context.Gas.cost

Sourceval amount : Alpha_context.Gas.cost

Sourceval wrap : Alpha_context.Gas.cost

Sourceval compare_bool : 'a -> 'b -> Alpha_context.Gas.cost

Sourceval compare_string : string -> string -> Alpha_context.Gas.cost

Source

val compare_bytes : 
  Tezos_protocol_environment_003_PsddFKi3.MBytes.t ->
  Tezos_protocol_environment_003_PsddFKi3.MBytes.t ->
  Alpha_context.Gas.cost

Sourceval compare_tez : 'a -> 'b -> Alpha_context.Gas.cost

Source

val compare_int : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Source

val compare_nat : 
  'a Alpha_context.Script_int.num ->
  'b Alpha_context.Script_int.num ->
  Alpha_context.Gas.cost

Sourceval compare_key_hash : 'a -> 'b -> Alpha_context.Gas.cost

Source

val compare_timestamp : 
  Alpha_context.Script_timestamp.t ->
  Alpha_context.Script_timestamp.t ->
  Alpha_context.Gas.cost

Source

val compare_address : 
  Alpha_context.Contract.t ->
  Alpha_context.Contract.t ->
  Alpha_context.Gas.cost

Sourceval manager_operation : Alpha_context.Gas.cost

Sourcemodule Typechecking : sig ... end

Sourcemodule Unparse : sig ... end

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_003_PsddFKi3/Tezos_raw_protocol_003_PsddFKi3/Michelson_v1_gas/Cost_of/index.html

Module `Michelson_v1_gas.Cost_of`Source

package tezos-protocol-003-PsddFKi3

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_003_PsddFKi3/Tezos_raw_protocol_003_PsddFKi3/Michelson_v1_gas/Cost_of/index.html

Module Michelson_v1_gas.Cost_ofSource

dune-project
Dependency

Module `Michelson_v1_gas.Cost_of`Source