package tezos-protocol-012-Psithaca

  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
val consume_instr : int -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> 'e -> 'f -> int option
val consume_control : int -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation -> int option
val log_entry : Script_typed_ir.logger -> Local_gas_counter.outdated_context -> int -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> 'e -> 'f -> unit
val log_exit : Script_typed_ir.logger -> Local_gas_counter.outdated_context -> int -> ('a, 'b) Script_typed_ir.kinfo -> ('c, 'd, 'e, 'f) Script_typed_ir.kinstr -> 'g -> 'h -> 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 -> ('e, 'f, 'g, 'h) Script_typed_ir.kinstr
val log_next_kinstr : Script_typed_ir.logger -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> ('e, 'f, 'g, 'h) Script_typed_ir.kinstr
val id : 'a -> 'b
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_012_Psithaca__Alpha_context.t -> ty:'a Script_typed_ir.ty -> bytes:bytes -> ('b option * Tezos_raw_protocol_012_Psithaca__Alpha_context.t, Tezos_protocol_environment_012_Psithaca.Error_monad.error Tezos_protocol_environment_012_Psithaca.Error_monad.trace) Tezos_protocol_environment_012_Psithaca.Pervasives.result Tezos_protocol_environment_012_Psithaca.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
OCaml

Innovation. Community. Security.