Lqt_fa12_repr (mavkit-protocol-001-PtAtLas-libs.Mavryk_001_PtAtLas_test_helpers.Lqt_fa12

module Parameter : sig ... end

module Storage : 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