package tezos-protocol-015-PtLimaPt

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type Tezos_protocol_environment_015_PtLimaPt.Error_monad.error +=
  1. | Rollup_invalid_transaction_amount
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 : Local_gas_counter.local_gas_counter -> ('a, 'b, 'c, 'd) Script_typed_ir.kinstr -> 'e -> 'f -> Local_gas_counter.local_gas_counter option
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_015_PtLimaPt__Alpha_context.t -> ty:('a, 'b) Script_typed_ir.ty -> bytes:bytes -> ('c option * Tezos_raw_protocol_015_PtLimaPt__Alpha_context.t, Tezos_protocol_environment_015_PtLimaPt.Error_monad.error Tezos_protocol_environment_015_PtLimaPt.Error_monad.trace) Tezos_protocol_environment_015_PtLimaPt.Pervasives.result Tezos_protocol_environment_015_PtLimaPt.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) cont_instrumentation = ('a, 'b, 'c, 'd) Script_typed_ir.continuation -> ('a, 'b, 'c, 'd) Script_typed_ir.continuation
val id : 'a -> 'b
OCaml

Innovation. Community. Security.