package tezos-protocol-012-Psithaca

  1. Overview
  2. Docs
package tezos-protocol-012-Psithaca
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_raw_protocol_012_Psithaca.Script_interpreter_defsSource

Sourceval cost_of_instr : 'a 's 'r 'f. ('a, 's, 'r, 'f) Script_typed_ir.kinstr -> 'a -> 's -> Alpha_context.Gas.cost
Sourceval cost_of_control : 'a 's 'r 'f. ('a, 's, 'r, 'f) Script_typed_ir.continuation -> Alpha_context.Gas.cost
Sourceval consume_instr : int -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> 'a -> 'b -> int option
Sourceval consume_control : int -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation -> int option
Sourceval log_entry : Script_typed_ir.logger -> Local_gas_counter.outdated_context -> int -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> 'a -> 'b -> unit
Sourceval 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 -> 'c -> 'd -> unit
Sourceval log_control : Script_typed_ir.logger -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation -> unit
Sourceval log_kinstr : Script_typed_ir.logger -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr
Sourceval log_next_kinstr : Script_typed_ir.logger -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr
Sourceval id : 'a -> 'a
Sourceval 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
Sourceval 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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct