package tezos-protocol-015-PtLimaPt

  1. Overview
  2. Docs
package tezos-protocol-015-PtLimaPt
Legend:
Library
Module
Module type
Parameter
Class
Class type

A module for handling ticket-tokens. A ticket-token represents the combination of a ticketer (creator of a ticket) and the content. That is, a ticket comprises a ticket-token and an amount.

type ex_token =
  1. | Ex_token : {
    1. ticketer : Alpha_context.Contract.t;
    2. contents_type : 'a Script_typed_ir.comparable_ty;
    3. contents : 'a;
    } -> ex_token

A type for representing existentially quantified ticket-tokens. A ticket-token consists of a pair of ticketer and contents.

val token_and_amount_of_ex_ticket : Ticket_scanner.ex_ticket -> ex_token * Script_typed_ir.ticket_amount

token_and_amount_of_ex_ticket ex_ticket returns the token and amount of the given ticket ex_ticket.

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