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