Cpmm_logic.Simulate
val addLiquidity :
Cpmm_repr.Storage.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
Z.t * Z.t
val removeLiquidity :
Cpmm_repr.Storage.t ->
Z.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t * Z.t
val tokenToXtz :
Cpmm_repr.Storage.t ->
Z.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t * Z.t
val xtzToToken :
Cpmm_repr.Storage.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
Z.t * Z.t
val tokenToToken :
Cpmm_repr.Storage.t ->
Z.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t * Z.t