package octez-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Bounded_e : sig ... end
module Anemoi = Plompiler.Anemoi128.V
module Plompiler_Curve : sig ... end
module Plompiler_Hash : sig ... end
val s_of_int : int -> Plompiler.S.t
val balance_encoding : safety:Bounded_e.bound_check_safety -> (Z.t * Z.t, Epoxy_tx__Constants.balance Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding
val amount_encoding : safety:Bounded_e.bound_check_safety -> (Z.t * Z.t, Epoxy_tx__Constants.amount Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding
val fee_encoding : safety:Bounded_e.bound_check_safety -> (Z.t * Z.t, Epoxy_tx__Constants.fee Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding
val pos_encoding : safety:Bounded_e.bound_check_safety -> (Z.t * Z.t, Epoxy_tx__Constants.position Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding
val cnt_encoding : safety:Bounded_e.bound_check_safety -> (Z.t * Z.t, Epoxy_tx__Constants.counter Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding
val op_code_encoding : safety:Bounded_e.bound_check_safety -> (Z.t * Z.t, Epoxy_tx__Constants.op_code Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding
val tezos_pkh_encoding : (bytes, L.scalar L.repr, L.scalar) L.Encodings.encoding
val tezos_zkru_encoding : (bytes, L.scalar L.repr, L.scalar) L.Encodings.encoding
val ticket_encoding : safety:Bounded_e.bound_check_safety -> 'a Constants.Bound.t -> ('a Epoxy_tx__Types.P.ticket, 'a Epoxy_tx__Types.V(L).ticket_u, L.scalar * L.Num.scalar) L.Encodings.encoding
val ticket_balance_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Constants.balance Epoxy_tx__Types.P.ticket, Epoxy_tx__Constants.balance Epoxy_tx__Types.V(L).ticket_u, L.scalar * L.Num.scalar) L.Encodings.encoding
val ticket_amount_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Constants.amount Epoxy_tx__Types.P.ticket, Epoxy_tx__Constants.amount Epoxy_tx__Types.V(L).ticket_u, L.scalar * L.Num.scalar) L.Encodings.encoding
val account_encoding : (Epoxy_tx__Types.P.account, Epoxy_tx__Types.V(L).account_u, (L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) L.Encodings.encoding
val leaf_encoding : (Epoxy_tx__Types.P.leaf, Epoxy_tx__Types.V(L).leaf_u, L.Num.scalar * (L.scalar * L.Num.scalar)) L.Encodings.encoding
val proof_encoding : (Epoxy_tx__Types.P.proof, Epoxy_tx__Types.V(L).proof_u, (L.scalar * bool) list * L.scalar) L.Encodings.encoding
val account_tree_el_encoding : (Epoxy_tx__Types.P.account_tree_el, Epoxy_tx__Types.V(L).account_tree_el_u, ((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * ((L.scalar * bool) list * L.scalar))) L.Encodings.encoding
val leaf_tree_el_encoding : (Epoxy_tx__Types.P.leaf_tree_el, Epoxy_tx__Types.V(L).leaf_tree_el_u, (L.Num.scalar * (L.scalar * L.Num.scalar)) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list)) L.Encodings.encoding
val tree_el_encoding : (Epoxy_tx__Types.P.tree_el, Epoxy_tx__Types.V(L).tree_el_u, (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * ((L.scalar * bool) list * L.scalar))) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list))) L.Encodings.encoding
val header_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.header, Epoxy_tx__Types.V(L).header_u, L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar))) L.Encodings.encoding
val unsigned_transfer_payload_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.unsigned_transfer_payload, Epoxy_tx__Types.V(L).unsigned_transfer_payload_u, L.Num.scalar * (L.Num.scalar * (L.Num.scalar * ((L.scalar * L.Num.scalar) * L.Num.scalar)))) L.Encodings.encoding
val transfer_payload_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.transfer_payload, Epoxy_tx__Types.V(L).transfer_payload_u, (L.Num.scalar * (L.Num.scalar * (L.Num.scalar * ((L.scalar * L.Num.scalar) * L.Num.scalar)))) * (bool list * ((L.scalar * L.scalar) * bool list))) L.Encodings.encoding
val transfer_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.transfer, Epoxy_tx__Types.V(L).transfer_u, (L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar))) * ((L.Num.scalar * (L.Num.scalar * (L.Num.scalar * ((L.scalar * L.Num.scalar) * L.Num.scalar)))) * (bool list * ((L.scalar * L.scalar) * bool list)))) L.Encodings.encoding
val transfer_storage_encoding : (Epoxy_tx__Types.P.transfer_storage, Epoxy_tx__Types.V(L).transfer_storage_u, ((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * ((L.scalar * bool) list * L.scalar))) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list))) * (((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * ((L.scalar * bool) list * L.scalar))) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list))) * bool)) L.Encodings.encoding
val unsigned_create_payload_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.unsigned_create_payload, Epoxy_tx__Types.V(L).unsigned_create_payload_u, (L.scalar * L.scalar) * L.Num.scalar) L.Encodings.encoding
val create_payload_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.create_payload, Epoxy_tx__Types.V(L).create_payload_u, ((L.scalar * L.scalar) * L.Num.scalar) * (bool list * ((L.scalar * L.scalar) * bool list))) L.Encodings.encoding
val create_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.create, Epoxy_tx__Types.V(L).create_u, (L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar))) * (((L.scalar * L.scalar) * L.Num.scalar) * (bool list * ((L.scalar * L.scalar) * bool list)))) L.Encodings.encoding
val create_storage_encoding : (Epoxy_tx__Types.P.create_storage, Epoxy_tx__Types.V(L).create_storage_u, ((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * ((L.scalar * bool) list * L.scalar))) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list))) * (((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * ((L.scalar * bool) list * L.scalar))) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list))) * bool)) L.Encodings.encoding
val credit_payload_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.credit_payload, Epoxy_tx__Types.V(L).credit_payload_u, L.Num.scalar * (L.Num.scalar * (L.scalar * L.Num.scalar))) L.Encodings.encoding
val credit_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.credit, Epoxy_tx__Types.V(L).credit_u, (L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar))) * (L.Num.scalar * (L.Num.scalar * (L.scalar * L.Num.scalar)))) L.Encodings.encoding
val credit_storage_encoding : (Epoxy_tx__Types.P.credit_storage, Epoxy_tx__Types.V(L).credit_storage_u, ((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * ((L.scalar * bool) list * L.scalar))) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list))) * bool) L.Encodings.encoding
val unsigned_debit_payload_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.unsigned_debit_payload, Epoxy_tx__Types.V(L).unsigned_debit_payload_u, L.Num.scalar * (L.Num.scalar * (L.scalar * L.Num.scalar))) L.Encodings.encoding
val debit_payload_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.debit_payload, Epoxy_tx__Types.V(L).debit_payload_u, (L.Num.scalar * (L.Num.scalar * (L.scalar * L.Num.scalar))) * (bool list * ((L.scalar * L.scalar) * bool list))) L.Encodings.encoding
val debit_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Types.P.debit, Epoxy_tx__Types.V(L).debit_u, (L.Num.scalar * ((L.scalar * L.Num.scalar) * (L.scalar * L.scalar))) * ((L.Num.scalar * (L.Num.scalar * (L.scalar * L.Num.scalar))) * (bool list * ((L.scalar * L.scalar) * bool list)))) L.Encodings.encoding
val debit_storage_encoding : (Epoxy_tx__Types.P.debit_storage, Epoxy_tx__Types.V(L).debit_storage_u, ((((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * (((L.scalar * L.scalar) * (L.Num.scalar * (L.Num.scalar * L.scalar))) * ((L.scalar * bool) list * L.scalar))) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * ((L.Num.scalar * (L.scalar * L.Num.scalar)) * (L.scalar * bool) list))) * bool) L.Encodings.encoding
OCaml

Innovation. Community. Security.