Receipt.Token
val eq :
'token1 t ->
'token2 t ->
('token1, 'token2) Mavryk_protocol_environment_alpha.Equality_witness.eq
option
val add :
'token t ->
'token ->
'token ->
'token Mavryk_protocol_environment_alpha.Error_monad.tzresult
val pp :
'token t ->
Mavryk_protocol_environment_alpha.Format.formatter ->
'token ->
unit