Module Receipt_repr.Token

type 'token t =
  1. | Tez : Tez_repr.t t
  2. | Staking_pseudotoken : Staking_pseudotoken_repr.t t
val eq : 'token1 t -> 'token2 t -> ('token1, 'token2) Mavryk_protocol_environment_001_PtAtLas.Equality_witness.eq option
val equal : 'token t -> 'token -> 'token -> bool
val is_zero : 'token t -> 'token -> bool
val add : 'token t -> 'token -> 'token -> 'token Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
val pp : 'token t -> Mavryk_protocol_environment_001_PtAtLas.Format.formatter -> 'token -> unit