Plugin (octez-protocol-alpha-libs.Tezos_dal_alpha.Dal_plugin

module Proto = Tezos_embedded_protocol_alpha.Registerer.Registered

type block_info =
  Tezos_client_alpha.Protocol_client_context.Alpha_block_services.block_info

type dal_attestation = Tezos_protocol_alpha.Environment.Bitset.t

type attestation_operation =

| Op : 'a Tezos_protocol_alpha.Protocol.Alpha_context.Kind.consensus Tezos_protocol_alpha.Protocol.Alpha_context.operation -> attestation_operation

type tb_slot = Tezos_protocol_alpha.Protocol.Alpha_context.Slot.t

type Tezos_base.TzPervasives.error +=

| Aggregation_result_size_error

val parametric_constants : 
  Tezos_shell_services.Shell_services.chain ->
  Tezos_shell_services.Shell_services.block ->
  Tezos_rpc.Context.generic ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Constants.Parametric.t
    Tezos_protocol_alpha.Environment.Error_monad.shell_tzresult
    Tezos_protocol_alpha.Environment.Lwt.t

val get_constants : 
  Tezos_shell_services.Shell_services.chain ->
  Tezos_shell_services.Shell_services.block ->
  Tezos_rpc.Context.generic ->
  (Tezos_dal_node_services.Types.proto_parameters,
    Tezos_base.TzPervasives.Error_monad.tztrace)
    Stdlib.result
    Lwt.t

val get_block_offset : 
  offset:int ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.raw_level ->
  [> `Head of int ] Lwt.t

val inject_entrapment_evidence : 
  Tezos_rpc.Context.generic ->
  attested_level:int32 ->
  attestation_operation ->
  slot_index:int ->
  shard:Tezos_protocol_environment_alpha.Dal.shard ->
  proof:Tezos_protocol_environment_alpha.Dal.shard_proof ->
  tb_slot:Tezos_protocol_alpha.Protocol.Alpha_context.Slot.t ->
  (unit, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

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

val block_shell_header : block_info -> Tezos_base.Block_header.shell_header

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

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

val get_published_slot_headers : 
  block_level:Stdlib.Int32.t ->
  Tezos_rpc.Context.generic ->
  (Tezos_dal_node_lib.Dal_plugin.slot_header list,
    Tezos_base.TzPervasives.Error_monad.tztrace)
    Stdlib.result
    Lwt.t

val get_attestations : 
  block_level:Stdlib.Int32.t ->
  Tezos_rpc.Context.generic ->
  ((Tezos_protocol_alpha.Protocol.Alpha_context.Slot.t
    * Tezos_crypto__Signature.V_latest.public_key_hash option
    * attestation_operation
    * dal_attestation option)
     list,
    Tezos_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

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

val dal_attestation : 
  block_info ->
  (Tezos_protocol_alpha.Environment.Bitset.t,
    Tezos_base.TzPervasives.error Tezos_base.TzPervasives.TzTrace.trace)
    Stdlib.result

val is_attested : Tezos_protocol_alpha.Environment.Bitset.t -> int -> bool

val number_of_attested_slots : Tezos_protocol_alpha.Environment.Bitset.t -> int

val is_delegate : 
  Tezos_rpc.Context.generic ->
  pkh:Tezos_crypto__Signature.V_latest.public_key_hash ->
  (bool, Tezos_error_monad.Error_monad.tztrace) Stdlib.result Lwt.t

module Skip_list : sig ... end

module RPC : sig ... end