External_validator (mavkit-shell-libs.Mavryk_validation.External

module Events : sig ... end

val load_protocol : 
  Mavryk_base.TzPervasives.Protocol_hash.t ->
  string ->
  (unit, Mavryk_base.TzPervasives.error list) Stdlib.result Lwt.t

val with_retry_to_load_protocol : 
  string ->
  (unit -> ('a, Mavryk_base.TzPervasives.error list) Stdlib.result Lwt.t) ->
  ('a, Mavryk_base.TzPervasives.error list) Stdlib.result Lwt.t

val inconsistent_handshake : string -> Mavryk_base.TzPervasives.error

val handshake : 
  Lwt_io.input_channel ->
  Lwt_io.output_channel ->
  (unit, Mavryk_base.TzPervasives.error Mavryk_base.TzPervasives.TzTrace.trace)
    Stdlib.result
    Lwt.t

val init : 
  Lwt_io.input_channel ->
  Lwt_io.output_channel ->
  (External_validation.parameters * Mavryk_context.Context.index,
    Mavryk_error_monad.Error_monad.tztrace)
    Stdlib.result
    Lwt.t

val handle_request : 
  'a. External_validation.parameters ->
  Mavryk_context.Context.index ->
  Mavryk_context_ops.Context_ops.Environment_context.block_cache option ->
  (Block_validation.apply_result
   * Mavryk_context_ops.Context_ops.Environment_context.t)
    option ->
  'a External_validation.request ->
  [ `Continue of
      'a Mavryk_base.TzPervasives.tzresult
      * Mavryk_context_ops.Context_ops.Environment_context.block_cache option
      * (Block_validation.apply_result
         * Mavryk_context_ops.Context_ops.Environment_context.t)
          option
  | `Stop ]
    Lwt.t

val run : 
  using_std_channel:bool ->
  Lwt_io.input_channel ->
  Lwt_io.output_channel ->
  (unit, Mavryk_base.TzPervasives.error Mavryk_base.TzPervasives.TzTrace.trace)
    Stdlib.result
    Lwt.t

val main : 
  ?socket_dir:string ->
  unit ->
  (unit, Mavryk_base.TzPervasives.tztrace) Stdlib.result Lwt.t