Operation (tezos-protocol-alpha.Tezos_raw_protocol_alpha.Alpha

type nonrec 'kind contents = 'kind contents

type nonrec packed_contents = packed_contents

val contents_encoding : 
  packed_contents Tezos_protocol_environment_alpha.Data_encoding.t

type nonrec 'kind protocol_data = 'kind protocol_data

type nonrec packed_protocol_data = packed_protocol_data

type consensus_watermark =

| Attestation of Tezos_protocol_environment_alpha.Chain_id.t
| Preattestation of Tezos_protocol_environment_alpha.Chain_id.t

val to_watermark : 
  consensus_watermark ->
  Tezos_protocol_environment_alpha.Signature.watermark

val of_watermark : 
  Tezos_protocol_environment_alpha.Signature.watermark ->
  consensus_watermark option

val protocol_data_encoding : 
  packed_protocol_data Tezos_protocol_environment_alpha.Data_encoding.t

val unsigned_encoding : 
  (Tezos_protocol_environment_alpha.Operation.shell_header
   * packed_contents_list)
    Tezos_protocol_environment_alpha.Data_encoding.t

val bls_mode_unsigned_encoding : 
  (Tezos_protocol_environment_alpha.Operation.shell_header
   * packed_contents_list)
    Tezos_protocol_environment_alpha.Data_encoding.t

val serialize_unsigned_operation : 
  (Tezos_protocol_environment_alpha.Operation.shell_header
   * packed_contents_list)
    Tezos_protocol_environment_alpha.Data_encoding.t ->
  'a operation ->
  bytes

type raw = Tezos_protocol_environment_alpha.Operation.t = {

shell : Tezos_protocol_environment_alpha.Operation.shell_header;
proto : bytes;

}

val raw_encoding : raw Tezos_protocol_environment_alpha.Data_encoding.t

val contents_list_encoding : 
  packed_contents_list Tezos_protocol_environment_alpha.Data_encoding.t

type 'kind t = 'kind operation = {

shell : Tezos_protocol_environment_alpha.Operation.shell_header;
protocol_data : 'kind protocol_data;

}

type nonrec packed = packed_operation

val encoding : packed Tezos_protocol_environment_alpha.Data_encoding.t

val raw : _ operation -> raw

val hash : _ operation -> Tezos_protocol_environment_alpha.Operation_hash.t

val hash_raw : raw -> Tezos_protocol_environment_alpha.Operation_hash.t

val hash_packed : 
  packed_operation ->
  Tezos_protocol_environment_alpha.Operation_hash.t

val acceptable_pass : packed_operation -> int option

val compare_by_passes : packed_operation -> packed_operation -> int

type Tezos_protocol_environment_alpha.Error_monad.error +=

| Missing_signature

type Tezos_protocol_environment_alpha.Error_monad.error +=

| Invalid_signature

val unsigned_operation_length : _ operation -> int

val bls_mode_unsigned_operation_length : _ operation -> int

val check_signature : 
  context ->
  public_key ->
  Tezos_protocol_environment_alpha.Chain_id.t ->
  _ operation ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult

val pack : 'kind operation -> packed_operation

val compare : 
  (Tezos_protocol_environment_alpha.Operation_hash.t * packed_operation) ->
  (Tezos_protocol_environment_alpha.Operation_hash.t * packed_operation) ->
  int

type ('a, 'b) eq =

| Eq : ('a, 'a) eq

val equal : 'a operation -> 'b operation -> ('a, 'b) eq option

module Encoding : sig ... end

val of_list : 
  packed_contents list ->
  packed_contents_list Tezos_protocol_environment_alpha.Error_monad.tzresult

val to_list : packed_contents_list -> packed_contents list

val committee_slots : (Slot.t * dal_content option) list -> Slot.t list

See Operation_repr.committee_slots.