package octez-protocol-019-PtParisB-libs

  1. Overview
  2. Docs
package octez-protocol-019-PtParisB-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Types.PSource

Sourcetype state = bool
Sourcemodule Bounded = Bounded.P
Sourcetype 'a ticket = {
  1. id : Plompiler.S.t;
  2. amount : 'a Bounded.t;
}
Sourcetype tezos_pkh = Tezos_protocol_019_PtParisB.Environment.Signature.Public_key_hash.t
Sourcetype header = {
  1. op_code : op_code Bounded.t;
  2. price : balance ticket;
  3. l1_dst : tezos_pkh;
  4. rollup_id : tezos_pkh;
}
Sourcetype op = {
  1. header : header;
  2. payload : bool;
}
Sourcemodule Dummy : sig ... end

Dummy values for these types. Useful to get the circuit without having the actual inputs.