package octez-libs
module Schnorr = SchnorrPV.P
module Merkle = MerklePV.P
module Bounded = Bounded.P
type account = {
pk : Schnorr.pk;
tez_balance : Constants.balance Bounded.t;
cnt : Constants.counter Bounded.t;
tickets_root : Plompiler.S.t;
}
module IMap : sig ... end
type state = {
accounts : (account * leaf array * Merkle.tree) IMap.t;
accounts_tree : Merkle.tree;
next_position : int;
}
type header = {
op_code : Constants.op_code Bounded.t;
price : Constants.balance ticket;
l1_dst : tezos_pkh;
rollup_id : tezos_zkru;
}
type unsigned_transfer_payload = {
cnt : Constants.counter Bounded.t;
src : Constants.position Bounded.t;
dst : Constants.position Bounded.t;
amount : Constants.amount ticket;
fee : Constants.fee Bounded.t;
}
type credit_payload = {
cnt : Constants.counter Bounded.t;
dst : Constants.position Bounded.t;
amount : Constants.amount ticket;
}
type unsigned_debit_payload = {
cnt : Constants.counter Bounded.t;
src : Constants.position Bounded.t;
amount : Constants.amount ticket;
}
type unsigned_tx =
| Transfer of unsigned_transfer
| Create of unsigned_create
| Credit of credit
| Debit of unsigned_debit
type tx_storage =
| Transfer of transfer_storage
| Create of create_storage
| Credit of credit_storage
| Debit of debit_storage
module Dummy : sig ... end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>