Cpmm_logic.Simulateval addLiquidity :
Cpmm_repr.Storage.t ->
Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
Z.t * Z.tval removeLiquidity :
Cpmm_repr.Storage.t ->
Z.t ->
Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t * Z.tval tokenToXtz :
Cpmm_repr.Storage.t ->
Z.t ->
Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t * Z.tval xtzToToken :
Cpmm_repr.Storage.t ->
Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
Z.t * Z.tval tokenToToken :
Cpmm_repr.Storage.t ->
Z.t ->
Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t * Z.t