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_ledger

val get : t -> Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_context_sig.ticket_index -> Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_context_sig.address_index -> Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_qty.t m
val credit : t -> Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_context_sig.ticket_index -> Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_context_sig.address_index -> Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_qty.t -> t m
val spend : t -> Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_context_sig.ticket_index -> Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_context_sig.address_index -> Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_qty.t -> t m
module Internal_for_tests : sig ... end