package tezos-protocol-010-PtGRANAD

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val cost_of_instr : 'a 's 'r 'f. ('a, 's, 'r, 'f) Script_typed_ir.kinstr -> 'a -> 's -> Alpha_context.Gas.cost
val cost_of_control : 'a 's 'r 'f. ('a, 's, 'r, 'f) Script_typed_ir.continuation -> Alpha_context.Gas.cost
type local_gas_counter = int
type outdated_context =
  1. | OutDatedContext of Alpha_context.context
val update_context : int -> outdated_context -> Tezos_raw_protocol_010_PtGRANAD__Alpha_context.t
val update_local_gas_counter : Tezos_raw_protocol_010_PtGRANAD__Alpha_context.t -> int
val context_from_outdated_context : outdated_context -> Alpha_context.context
val update_and_check : int -> Alpha_context.Gas.cost -> int option
val consume : int -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> 'a -> 'b -> int option
val consume_control : int -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation -> int option
val log_entry : Script_typed_ir.logger -> outdated_context -> int -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> 'a -> 'b -> unit
val log_exit : Script_typed_ir.logger -> outdated_context -> int -> ('a, 'b) Script_typed_ir.kinfo -> ('c, 'd, 'e, 'f) Script_typed_ir.kinstr -> 'c -> 'd -> unit
val log_control : Script_typed_ir.logger -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation -> unit
val log_kinstr : Script_typed_ir.logger -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr
val log_next_kinstr : Script_typed_ir.logger -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr
val id : 'a -> 'a
val kundip : 'a 's 'e 'z 'c 'u 'd 'w 'b 't. ('a, 's, 'e, 'z, 'c, 'u, 'd, 'w) Script_typed_ir.stack_prefix_preservation_witness -> 'c -> 'u -> ('d, 'w, 'b, 't) Script_typed_ir.kinstr -> 'a * 's * ('e, 'z, 'b, 't) Script_typed_ir.kinstr
val unpack : Tezos_raw_protocol_010_PtGRANAD__Alpha_context.t -> ty:'a Script_typed_ir.ty -> bytes:bytes -> ('a option * Tezos_raw_protocol_010_PtGRANAD__Alpha_context.t, Tezos_protocol_environment_010_PtGRANAD.Error_monad.error Tezos_protocol_environment_010_PtGRANAD.Error_monad.trace) Tezos_protocol_environment_010_PtGRANAD.Pervasives.result Tezos_protocol_environment_010_PtGRANAD.Lwt.t
val interp_stack_prefix_preserving_operation : 'a 's 'b 't 'c 'u 'd 'w 'result. ('a -> 's -> ('b * 't) * 'result) -> ('a, 's, 'b, 't, 'c, 'u, 'd, 'w) Script_typed_ir.stack_prefix_preservation_witness -> 'c -> 'u -> ('d * 'w) * 'result
type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'm, 'n, 'o) kmap_exit_type = (('c, 'd, 'e, 'f) Script_typed_ir.continuation -> ('a, 'b, 'g, 'h) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('m * 'n, 'c * 'd, 'o, 'c * 'd) Script_typed_ir.kinstr * ('m * 'n) list * ('m, 'o) Script_typed_ir.map * 'm) -> (('m, 'o) Script_typed_ir.map, 'c * 'd, 'e, 'f) Script_typed_ir.continuation -> 'o -> ('a * 'b) -> ('g * 'h * outdated_context * local_gas_counter) Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult Tezos_protocol_environment_010_PtGRANAD.Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'j, 'k) kmap_enter_type = (('a, 'b * 'c, 'd, 'e) Script_typed_ir.continuation -> ('a, 'b * 'c, 'd, 'e) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('j * 'k, 'b * 'c, 'a, 'b * 'c) Script_typed_ir.kinstr * ('j * 'k) list * ('j, 'a) Script_typed_ir.map) -> (('j, 'a) Script_typed_ir.map, 'b * 'c, 'd, 'e) Script_typed_ir.continuation -> 'b -> 'c -> ('d * 'e * outdated_context * local_gas_counter) Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult Tezos_protocol_environment_010_PtGRANAD.Lwt.t
type ('a, 'b, 'c, 'd, 'i, 'j) klist_exit_type = (('a, 'b, 'c, 'd) Script_typed_ir.continuation -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('i, 'a * 'b, 'j, 'a * 'b) Script_typed_ir.kinstr * 'i list * 'j list * local_gas_counter) -> ('j Script_typed_ir.boxed_list, 'a * 'b, 'c, 'd) Script_typed_ir.continuation -> 'j -> ('a * 'b) -> ('c * 'd * outdated_context * local_gas_counter) Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult Tezos_protocol_environment_010_PtGRANAD.Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'j) klist_enter_type = (('b, 'a * 'c, 'd, 'e) Script_typed_ir.continuation -> ('b, 'a * 'c, 'd, 'e) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('j, 'a * 'c, 'b, 'a * 'c) Script_typed_ir.kinstr * 'j list * 'b list * local_gas_counter) -> ('b Script_typed_ir.boxed_list, 'a * 'c, 'd, 'e) Script_typed_ir.continuation -> 'a -> 'c -> ('d * 'e * outdated_context * local_gas_counter) Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult Tezos_protocol_environment_010_PtGRANAD.Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i) imap_map_type = (('a, 'b, 'c, 'd) Script_typed_ir.continuation -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('e * 'f, 'a * 'b, 'g, 'a * 'b) Script_typed_ir.kinstr * (('e, 'g) Script_typed_ir.map, 'a * 'b, 'h, 'i) Script_typed_ir.kinstr) -> ('h, 'i, 'c, 'd) Script_typed_ir.continuation -> ('e, 'f) Script_typed_ir.map -> ('a * 'b) -> ('c * 'd * outdated_context * local_gas_counter) Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult Tezos_protocol_environment_010_PtGRANAD.Lwt.t
type ('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h) imap_iter_type = (('a, 'b, 'c, 'd) Script_typed_ir.continuation -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation) -> (outdated_context * step_constants) -> local_gas_counter -> (('e * 'f, 'a * 'b, 'a, 'b) Script_typed_ir.kinstr * ('a, 'b, 'g, 'h) Script_typed_ir.kinstr) -> ('g, 'h, 'c, 'd) Script_typed_ir.continuation -> ('e, 'f) Script_typed_ir.map -> ('a * 'b) -> ('c * 'd * outdated_context * local_gas_counter) Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult Tezos_protocol_environment_010_PtGRANAD.Lwt.t
OCaml

Innovation. Community. Security.