Smart_rollup (mavbox.Mavbox.Smart

type t = {

id : Internal_pervasives.string;
level : Internal_pervasives.int;
kernel : [ `Tx | `Evm | `Custom of Internal_pervasives.string * Internal_pervasives.string * Internal_pervasives.string ];
setup_file : Internal_pervasives.string Internal_pervasives.option;
node_mode : [ `Accuser | `Batcher | `Maintenance | `Observer | `Operator ];
node_init_options : Internal_pervasives.string Internal_pervasives.list;
node_run_options : Internal_pervasives.string Internal_pervasives.list;
node : Mavryk_executable.t;
installer : Mavryk_executable.t;
evm_node : Mavryk_executable.t;

}

val executables : t -> Mavryk_executable.t Internal_pervasives.list

val run : 
  < application_name : Internal_pervasives.string
    ; console : Console.t
    ; env_config : Environment_configuration.t
    ; paths : Paths.t
    ; runner : Running_processes.State.t.. > ->
  smart_rollup:t Internal_pervasives.option ->
  protocol:Mavryk_protocol.t ->
  keys_and_daemons:
    (Mavryk_node.t
     * Mavryk_protocol.Account.t
     * Mavryk_client.t
     * Mavryk_client.Keyed.t
     * Mavryk_daemon.t Internal_pervasives.list)
      Internal_pervasives.list ->
  nodes:Mavryk_node.t Internal_pervasives.list ->
  base_port:Internal_pervasives.int ->
  (Internal_pervasives.unit,
    [> `Process_error of Internal_pervasives.Process_result.Error.error
    | `System_error of [ `Fatal ] * Internal_pervasives.System_error.static ])
    Internal_pervasives.Asynchronous_result.t

val cmdliner_term : 
  < manpager : Internal_pervasives.Manpage_builder.State.t.. > ->
  Internal_pervasives.unit ->
  t Internal_pervasives.option Cmdliner.Term.t