package octez-libs

  1. Overview
  2. Docs
package octez-libs
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.

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