package tezos-protocol-008-PtEdo2Zk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val cons_some : Alpha_context.Gas.cost
val cons_none : Alpha_context.Gas.cost
val cons_pair : Alpha_context.Gas.cost
val cons_left : Alpha_context.Gas.cost
val cons_right : Alpha_context.Gas.cost
val cons_list : Alpha_context.Gas.cost
val list_size : Alpha_context.Gas.cost
val empty_set : Alpha_context.Gas.cost
val set_update : 'a -> 'a Script_typed_ir.set -> Alpha_context.Gas.cost
val set_size : Alpha_context.Gas.cost
val empty_map : Alpha_context.Gas.cost
val map_iter : ('k, 'v) Script_typed_ir.map -> Alpha_context.Gas.cost
val map_mem : 'k -> ('k, 'v) Script_typed_ir.map -> Alpha_context.Gas.cost
val map_get : 'k -> ('k, 'v) Script_typed_ir.map -> Alpha_context.Gas.cost
val map_update : 'k -> ('k, 'v) Script_typed_ir.map -> Alpha_context.Gas.cost
val map_get_and_update : 'k -> ('k, 'v) Script_typed_ir.map -> Alpha_context.Gas.cost
val map_size : Alpha_context.Gas.cost
val concat_string_pair : string -> string -> Alpha_context.Gas.cost
val slice_string : string -> Alpha_context.Gas.cost
val string_size : Alpha_context.Gas.cost
val concat_bytes_pair : bytes -> bytes -> Alpha_context.Gas.cost
val slice_bytes : bytes -> Alpha_context.Gas.cost
val bytes_size : Alpha_context.Gas.cost
val bool_and : Alpha_context.Gas.cost
val bool_xor : Alpha_context.Gas.cost
val bool_not : Alpha_context.Gas.cost
val ediv_tez : Alpha_context.Gas.cost
val loop_left : Alpha_context.Gas.cost
val blake2b : bytes -> Alpha_context.Gas.cost
val sha256 : bytes -> Alpha_context.Gas.cost
val sha512 : bytes -> Alpha_context.Gas.cost
val dign : int -> Alpha_context.Gas.cost
val dugn : int -> Alpha_context.Gas.cost
val dipn : int -> Alpha_context.Gas.cost
val dropn : int -> Alpha_context.Gas.cost
val voting_power : Alpha_context.Gas.cost
val total_voting_power : Alpha_context.Gas.cost
val keccak : bytes -> Alpha_context.Gas.cost
val sha3 : bytes -> Alpha_context.Gas.cost
val add_bls12_381_g1 : Alpha_context.Gas.cost
val add_bls12_381_g2 : Alpha_context.Gas.cost
val add_bls12_381_fr : Alpha_context.Gas.cost
val mul_bls12_381_g1 : Alpha_context.Gas.cost
val mul_bls12_381_g2 : Alpha_context.Gas.cost
val mul_bls12_381_fr : Alpha_context.Gas.cost
val mul_bls12_381_fr_z : Alpha_context.Gas.cost
val int_bls12_381_fr : Alpha_context.Gas.cost
val neg_bls12_381_g1 : Alpha_context.Gas.cost
val neg_bls12_381_g2 : Alpha_context.Gas.cost
val neg_bls12_381_fr : Alpha_context.Gas.cost
val pairing_check_bls12_381 : 'a Script_typed_ir.boxed_list -> Alpha_context.Gas.cost
val comb : int -> Alpha_context.Gas.cost
val uncomb : int -> Alpha_context.Gas.cost
val comb_get : int -> Alpha_context.Gas.cost
val comb_set : int -> Alpha_context.Gas.cost
val dupn : int -> Alpha_context.Gas.cost
val concat_string_precheck : 'a Script_typed_ir.boxed_list -> Alpha_context.Gas.cost
val concat_string : Z.t -> Alpha_context.Gas.cost
val concat_bytes : Z.t -> Alpha_context.Gas.cost
val contract : Alpha_context.Gas.cost
val transfer_tokens : Alpha_context.Gas.cost
val implicit_account : Alpha_context.Gas.cost
val create_contract : Alpha_context.Gas.cost
val set_delegate : Alpha_context.Gas.cost
val self_address : Alpha_context.Gas.cost
val chain_id : Alpha_context.Gas.cost
val unpack_failed : bytes -> Alpha_context.Gas.cost
val sapling_empty_state : Alpha_context.Gas.cost
val sapling_verify_update : inputs:int -> outputs:int -> Alpha_context.Gas.cost
val read_ticket : Alpha_context.Gas.cost