Mavryk_alpha_test_helpers.Lqt_fa12_reprmodule Parameter : sig ... endmodule Storage : sig ... endval 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