Proxy_commands (mavkit-shell-libs.Mavryk_proxy.Proxy

val group : Mavryk_clic.group

The group of the commands

val commands : 
  unit ->
  Mavryk_client_base.Client_context.full Mavryk_clic.command list

All provided commands