This is a simulation of the CPMM contract, as implemented in mligo in src/proto_alpha/lib_protocol/contracts/cpmm.mligo. The interested reader should look for comments in this file to gain a better understanding of the contract logic.
val mutez_to_natural :
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
Z.tval natural_to_mutez :
Z.t ->
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tval addLiquidity :
tokenPool:Z.t ->
xtzPool:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
lqtTotal:Z.t ->
amount:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
Z.t * Z.tval removeLiquidity :
tokenPool:Z.t ->
xtzPool:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
lqtTotal:Z.t ->
lqtBurned:Z.t ->
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t * Z.tval tokenToXtz :
tokenPool:Z.t ->
xtzPool:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
tokensSold:Z.t ->
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t * Z.tval xtzToToken :
tokenPool:Z.t ->
xtzPool:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
amount:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
Z.t * Z.tval tokenToToken :
tokenPool:Z.t ->
xtzPool:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
tokensSold:Z.t ->
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t * Z.t