package octez-protocol-020-PsParisC-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val assert_balance : 
  Tezos_raw_protocol_020_PsParisC__Alpha_context.t ->
  loc:string ->
  Tezos_raw_protocol_020_PsParisC__Alpha_context.Ticket_hash.t ->
  int option ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val string_ticket_token : 
  string ->
  string ->
  Tezos_protocol_020_PsParisC.Protocol.Ticket_token.ex_token
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val adjust_ticket_token_balance : 
  Tezos_raw_protocol_020_PsParisC.Alpha_context.context ->
  Tezos_raw_protocol_020_PsParisC.Alpha_context.Destination.t ->
  Tezos_raw_protocol_020_PsParisC.Ticket_token.ex_token ->
  delta:Tezos_protocol_environment_020_PsParisC.Z.t ->
  (Tezos_raw_protocol_020_PsParisC.Alpha_context.Ticket_hash.t
   * Tezos_raw_protocol_020_PsParisC__Alpha_context.t)
    Tezos_base.TzPervasives.tzresult
    Lwt.t