package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Schnorr = SchnorrPV.P
module Merkle = MerklePV.P
module Bounded = Bounded.P
type 'a ticket = {
  1. id : Plompiler.S.t;
  2. amount : 'a Bounded.t;
}
type tezos_pkh = bytes
type tezos_zkru = bytes
type account = {
  1. pk : Schnorr.pk;
  2. tez_balance : Constants.balance Bounded.t;
  3. cnt : Constants.counter Bounded.t;
  4. tickets_root : Plompiler.S.t;
}
module IMap : sig ... end
type state = {
  1. accounts : (account * leaf array * Merkle.tree) IMap.t;
  2. accounts_tree : Merkle.tree;
  3. next_position : int;
}
type proof = {
  1. path : Merkle.path;
  2. root : Plompiler.S.t;
}
type account_tree_el = {
  1. before : account;
  2. after : account;
  3. proof : proof;
}
type leaf_tree_el = {
  1. before : leaf;
  2. after : leaf;
  3. path : Merkle.path;
}
type tree_el = {
  1. account : account_tree_el;
  2. leaf : leaf_tree_el;
}
type header = {
  1. op_code : Constants.op_code Bounded.t;
  2. price : Constants.balance ticket;
  3. l1_dst : tezos_pkh;
  4. rollup_id : tezos_zkru;
}
type transfer_payload = {
  1. msg : unsigned_transfer_payload;
  2. signature : Schnorr.signature;
}
type unsigned_transfer = {
  1. header : header;
  2. payload : unsigned_transfer_payload;
}
type transfer = {
  1. header : header;
  2. payload : transfer_payload;
}
type transfer_storage = {
  1. src : tree_el;
  2. dst : tree_el;
  3. valid : bool;
}
type unsigned_create_payload = {
  1. pk : Schnorr.pk;
  2. fee : Constants.fee Bounded.t;
}
type create_payload = {
  1. msg : unsigned_create_payload;
  2. signature : Schnorr.signature;
}
type unsigned_create = {
  1. header : header;
  2. payload : unsigned_create_payload;
}
type create = {
  1. header : header;
  2. payload : create_payload;
}
type create_storage = {
  1. dst : tree_el;
  2. next_empty : tree_el;
  3. valid : bool;
}
type credit_payload = {
  1. cnt : Constants.counter Bounded.t;
  2. dst : Constants.position Bounded.t;
  3. amount : Constants.amount ticket;
}
type credit = {
  1. header : header;
  2. payload : credit_payload;
}
type credit_storage = {
  1. dst : tree_el;
  2. valid : bool;
}
type unsigned_debit_payload = {
  1. cnt : Constants.counter Bounded.t;
  2. src : Constants.position Bounded.t;
  3. amount : Constants.amount ticket;
}
type debit_payload = {
  1. msg : unsigned_debit_payload;
  2. signature : Schnorr.signature;
}
type unsigned_debit = {
  1. header : header;
  2. payload : unsigned_debit_payload;
}
type debit = {
  1. header : header;
  2. payload : debit_payload;
}
type debit_storage = {
  1. src : tree_el;
  2. valid : bool;
}
type unsigned_tx =
  1. | Transfer of unsigned_transfer
  2. | Create of unsigned_create
  3. | Credit of credit
  4. | Debit of unsigned_debit
type tx =
  1. | Transfer of transfer
  2. | Create of create
  3. | Credit of credit
  4. | Debit of debit
type tx_storage =
  1. | Transfer of transfer_storage
  2. | Create of create_storage
  3. | Credit of credit_storage
  4. | Debit of debit_storage
module Dummy : sig ... end
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