Plugin (mavkit-protocol-alpha-libs.Mavryk_dal_alpha.Dal_plugin

module Proto = Mavryk_embedded_protocol_alpha.Registerer.Registered

type block_info =
  Mavryk_client_alpha.Protocol_client_context.Alpha_block_services.block_info

val parametric_constants : 
  Mavryk_shell_services.Shell_services.chain ->
  Mavryk_shell_services.Shell_services.block ->
  Mavryk_rpc.Context.generic ->
  Mavryk_raw_protocol_alpha.Alpha_context.Constants.Parametric.t
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_constants : 
  Mavryk_shell_services.Shell_services.chain ->
  Mavryk_shell_services.Shell_services.block ->
  Mavryk_rpc.Context.generic ->
  (Mavryk_dal_node_lib.Dal_plugin.proto_parameters,
    Mavryk_base.TzPervasives.Error_monad.tztrace)
    Stdlib.result
    Lwt.t

val block_info : 
  ?chain:[ `Main | `Test | `Hash of Mavryk_base.TzPervasives.Chain_id.t ] ->
  ?block:
    [ `Genesis
    | `Head of int
    | `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * int
    | `Hash of Mavryk_base.TzPervasives.Block_hash.t * int
    | `Level of Stdlib.Int32.t ] ->
  metadata:[ `Always | `Never ] ->
  Mavryk_rpc.Context.generic ->
  Mavryk_client_alpha.Protocol_client_context.Alpha_block_services.block_info
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

val block_shell_header : block_info -> Mavryk_base.Block_header.shell_header

val get_round : 
  Mavryk_protocol_alpha.Protocol.Alpha_context.Fitness.raw ->
  (int32, Mavryk_base.TzPervasives.tztrace) Stdlib.result

val status_of_result : 
  ('a, 'b, 'c)
    Mavryk_protocol_alpha.Protocol.Apply_operation_result.operation_result ->
  Mavryk_dal_node_lib.Dal_plugin.operation_application_result

val get_published_slot_headers : 
  block_info ->
  ((Mavryk_dal_node_lib.Dal_plugin.slot_header
    * Mavryk_dal_node_lib.Dal_plugin.operation_application_result)
     list,
    'a)
    Stdlib.result
    Lwt.t

val get_committee : 
  Mavryk_rpc.Context.generic ->
  level:int32 ->
  (int list Mavryk_base.TzPervasives.Signature.Public_key_hash.Map.t,
    Mavryk_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val attested_slot_headers : 
  block_info ->
  number_of_slots:int ->
  (int list,
    Mavryk_base.TzPervasives.error Mavryk_base.TzPervasives.TzTrace.trace)
    Stdlib.result

module Skip_list : sig ... end

module RPC : sig ... end