Destination_alias (mavkit-protocol-alpha-libs.Mavryk_client_alpha.Client_proto_contracts.Destination

val destination_parameter : 
  unit ->
  (Mavryk_protocol_alpha.Protocol.Alpha_context.Destination.t,
    Mavryk_client_base.Client_context.wallet)
    Mavryk_clic.parameter

val destination_param : 
  ?name:string ->
  ?desc:string ->
  ('a, Mavryk_client_base.Client_context.wallet as 'wallet) Mavryk_clic.params ->
  (Mavryk_protocol_alpha.Protocol.Alpha_context.Destination.t -> 'a, 'wallet)
    Mavryk_clic.params