package tezos-tx-rollup-015-PtLimaPt

  1. Overview
  2. Docs
package tezos-tx-rollup-015-PtLimaPt
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Context.Ticket_index

val init_counter : t -> t m
val get : t -> Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Ticket_hash.t -> Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_context_sig.ticket_index option m
val get_or_associate_index : t -> Tezos_raw_protocol_015_PtLimaPt.Alpha_context.Ticket_hash.t -> (t * [ `Created | `Existed ] * Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_context_sig.ticket_index) m
val count : t -> int32 m
module Internal_for_tests : sig ... end