octez-l2-libs 19.0 · OCaml Package

val pp_int32 : Stdlib.Format.formatter -> int32 -> unit

val pp_int64 : Stdlib.Format.formatter -> int64 -> unit

val pp_f32 : 'a -> 'b -> 'c

val pp_f64 : 'a -> 'b -> 'c

val pp_var : 
  Ppx_deriving_runtime.Format.formatter ->
  int32 Tezos_webassembly_interpreter.Source.phrase ->
  Ppx_deriving_runtime.unit

val pp_list : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a list ->
  unit

val pp_value_type_list : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Types.value_type list ->
  unit

val pp_opt : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'b option ->
  unit

val pp_unit : Stdlib.Format.formatter -> unit -> unit

val pp_pair : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  (Stdlib.Format.formatter -> 'b -> unit) ->
  Stdlib.Format.formatter ->
  ('c * 'd) ->
  unit

val pp_vector : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'b Tezos_lazy_containers.Lazy_vector.Int32Vector.t ->
  unit

val pp_vector_z : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'b Tezos_lazy_containers.Lazy_vector.ZVector.t ->
  unit

module Types : sig ... end

module Ast : sig ... end

module Func : sig ... end

module Instance : sig ... end

val pp_chunk_byte_vector : 
  Stdlib.Format.formatter ->
  Tezos_lazy_containers.Chunked_byte_vector.t ->
  unit

module Values : sig ... end

val pp_table : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Partial_table.table ->
  Ppx_deriving_runtime.unit

val pp_memory : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Memory.memory ->
  Ppx_deriving_runtime.unit

val pp_global : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Global.global ->
  Ppx_deriving_runtime.unit

val pp_extern : 
  Stdlib.Format.formatter ->
  Instance.extern ->
  Ppx_deriving_runtime.unit

val pp_map : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'b Instance.NameMap.t ->
  unit

val pp_elems : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Values.ref_
    Tezos_lazy_containers.Lazy_vector.Int32Vector.t
    Stdlib.ref ->
  unit

val pp_blocks_table : 
  Stdlib.Format.formatter ->
  Ast.instr Tezos_lazy_containers.Lazy_vector.Int32Vector.t
    Tezos_lazy_containers.Lazy_vector.Int32Vector.t ->
  unit

val pp_datas_table : 
  Stdlib.Format.formatter ->
  Tezos_lazy_containers.Chunked_byte_vector.t
    Tezos_lazy_containers.Lazy_vector.Int32Vector.t ->
  unit

val pp_allocations : Stdlib.Format.formatter -> Ast.allocations -> unit

val pp_data_inst : 
  Ppx_deriving_runtime.Format.formatter ->
  Ast.data_label Stdlib.ref ->
  Ppx_deriving_runtime.unit

val pp_module : Stdlib.Format.formatter -> Instance.module_inst -> unit

val pp_frame : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Eval.frame ->
  unit

val pp_admin_instr' : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Eval.admin_instr' ->
  Ppx_deriving_runtime.unit

val pp_admin_instr : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Eval.admin_instr'
    Tezos_webassembly_interpreter.Source.phrase ->
  Ppx_deriving_runtime.unit

val pp_label : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Eval.label ->
  Ppx_deriving_runtime.unit

val pp_label_kont : 
  'a. Stdlib.Format.formatter ->
  'a Tezos_webassembly_interpreter.Eval.label_kont ->
  unit

val pp_frame_stack : 
  Stdlib.Format.formatter ->
  'a Tezos_webassembly_interpreter.Eval.frame_stack ->
  unit

val pp_map_kont : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  (Stdlib.Format.formatter -> 'b -> unit) ->
  Stdlib.Format.formatter ->
  ('c, 'd) Tezos_webassembly_interpreter.Eval.map_kont ->
  unit

val pp_concat_kont : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'b Tezos_webassembly_interpreter.Eval.concat_kont ->
  unit

val pp_reveal : 
  Stdlib.Format.formatter ->
  Tezos_scoru_wasm.Wasm_pvm_state.reveal ->
  unit

val pp_invoke_step_kont : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Eval.invoke_step_kont ->
  Ppx_deriving_runtime.unit

val pp_label_step_kont : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Eval.label_step_kont ->
  Ppx_deriving_runtime.unit

val pp_step_kont : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Eval.step_kont ->
  Ppx_deriving_runtime.unit

val pp_input_buffer : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Input_buffer.message
    Tezos_lazy_containers.Lazy_vector.Mutable.ZVector.t ->
  unit

val pp_messages : 
  Stdlib.Format.formatter ->
  bytes Tezos_webassembly_interpreter.Output_buffer.Messages.t ->
  unit

val pp_outboxes : 
  Stdlib.Format.formatter ->
  bytes Tezos_webassembly_interpreter.Output_buffer.Messages.t
    Tezos_webassembly_interpreter.Output_buffer.Outboxes.Map.t ->
  unit

val pp_output_buffer : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Output_buffer.t ->
  unit

val pp_buffers : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Eval.buffers ->
  unit

val pp_module_registry : 
  Stdlib.Format.formatter ->
  Instance.module_inst Instance.ModuleMap.t ->
  unit

val pp_config : 
  Stdlib.Format.formatter ->
  Tezos_webassembly_interpreter.Eval.config ->
  Ppx_deriving_runtime.unit

package octez-l2-libs