package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module L : Plompiler.LIB

Signature

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 -> (Epoxy_tx__Constants.balance Bounded.P.t, Epoxy_tx__Constants.balance Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding
val amount_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Constants.amount Bounded.P.t, Epoxy_tx__Constants.amount Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding
val fee_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Constants.fee Bounded.P.t, Epoxy_tx__Constants.fee Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding
val pos_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Constants.position Bounded.P.t, Epoxy_tx__Constants.position Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding
val cnt_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Constants.counter Bounded.P.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 -> (Epoxy_tx__Constants.op_code Bounded.P.t, Epoxy_tx__Constants.op_code Bounded_e.VL.t, L.Num.scalar) L.Encodings.encoding
val ticket_balance_encoding : safety:Bounded_e.bound_check_safety -> (Epoxy_tx__Constants.balance P.ticket, Epoxy_tx__Constants.balance 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 P.ticket, Epoxy_tx__Constants.amount V(L).ticket_u, L.scalar * L.Num.scalar) L.Encodings.encoding
val proof_encoding : (P.proof, V(L).proof_u, (L.scalar * bool) list * L.scalar) L.Encodings.encoding
val transfer_storage_encoding : (P.transfer_storage, 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 create_payload_encoding : safety:Bounded_e.bound_check_safety -> (P.create_payload, 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 -> (P.create, 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 : (P.create_storage, 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_storage_encoding : (P.credit_storage, 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 debit_payload_encoding : safety:Bounded_e.bound_check_safety -> (P.debit_payload, 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_storage_encoding : (P.debit_storage, 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