Protocol_validator (mavkit-shell-libs.Mavryk_shell.Protocol

type t

val create : Distributed_db.t -> t

val validate : 
  t ->
  Mavryk_base.TzPervasives.Protocol_hash.t ->
  Mavryk_base.Protocol.t ->
  Mavryk_protocol_updater.Registered_protocol.t
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

val shutdown : t -> unit Lwt.t

val fetch_and_compile_protocol : 
  t ->
  ?peer:Mavryk_base.P2p_peer.Id.t ->
  ?timeout:Ptime.Span.t ->
  Mavryk_base.TzPervasives.Protocol_hash.t ->
  Mavryk_protocol_updater.Registered_protocol.t
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

val fetch_and_compile_protocols : 
  t ->
  ?peer:Mavryk_base.P2p_peer.Id.t ->
  ?timeout:Ptime.Span.t ->
  Mavryk_store.Store.Block.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t