Mavryk_001_PtAtLas_test_helpers.Cpmm_repr
module Storage : sig ... end
module Parameter : sig ... end
val transaction :
Context.t ->
contract:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
src:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
?amount:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
Parameter.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Operation.packed
Mavryk_base.TzPervasives.tzresult
Lwt.t