Smart_contract (flexmasa.Flexmasa.Smart

type t = {

name : Internal_pervasives.string;
michelson : Internal_pervasives.string;
init_storage : Internal_pervasives.string;

}

val originate_smart_contract : 
  ?wait:Internal_pervasives.string ->
  < application_name : Internal_pervasives.string
    ; console : Console.t
    ; env_config : Environment_configuration.t
    ; paths : Paths.t
    ; runner : Running_processes.State.t.. > ->
  client:Mavryk_client.t ->
  account:Internal_pervasives.string ->
  t ->
  (Internal_pervasives.string,
    [> `Process_error of Internal_pervasives.Process_result.Error.error
    | `System_error of [ `Fatal ] * Internal_pervasives.System_error.static ])
    Internal_pervasives.Asynchronous_result.t

val run : 
  < application_name : Internal_pervasives.string
    ; console : Console.t
    ; env_config : Environment_configuration.t
    ; paths : Paths.t
    ; runner : Running_processes.State.t.. > ->
  keys_and_daemons:
    ('a * Mavryk_protocol.Account.t * Mavryk_client.t * 'b * 'c)
      Internal_pervasives.list ->
  smart_contracts:t Internal_pervasives.list ->
  (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.list Cmdliner.Term.t