Operation (p.tezos-protocol-alpha.17.3.doc.tezos-protocol-alpha.raw.Tezos_raw_protocol_alpha.Alpha

Sourcetype nonrec 'kind contents = 'kind contents

Sourcetype nonrec packed_contents = packed_contents

val contents_encoding : 
  packed_contents Tezos_protocol_environment_alpha.Data_encoding.t

Source

val contents_encoding_with_legacy_attestation_name : 
  packed_contents Tezos_protocol_environment_alpha.Data_encoding.t

Sourcetype nonrec 'kind protocol_data = 'kind protocol_data

Sourcetype nonrec packed_protocol_data = packed_protocol_data

Sourcetype consensus_watermark =

| Endorsement of Tezos_protocol_environment_alpha.Chain_id.t
| Preendorsement of Tezos_protocol_environment_alpha.Chain_id.t
| Dal_attestation of Tezos_protocol_environment_alpha.Chain_id.t

Source

val to_watermark : 
  consensus_watermark ->
  Tezos_protocol_environment_alpha.Signature.watermark

Source

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

Source

val protocol_data_encoding : 
  packed_protocol_data Tezos_protocol_environment_alpha.Data_encoding.t

Source

val protocol_data_encoding_with_legacy_attestation_name : 
  packed_protocol_data Tezos_protocol_environment_alpha.Data_encoding.t

Source

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

Source

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

Sourcetype raw = Tezos_protocol_environment_alpha.Operation.t = {

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

}

Sourceval raw_encoding : raw Tezos_protocol_environment_alpha.Data_encoding.t

Source

val contents_list_encoding : 
  packed_contents_list Tezos_protocol_environment_alpha.Data_encoding.t

Source

val contents_list_encoding_with_legacy_attestation_name : 
  packed_contents_list Tezos_protocol_environment_alpha.Data_encoding.t

Sourcetype 'kind t = 'kind operation = {

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

}

Sourcetype nonrec packed = packed_operation

Sourceval encoding : packed Tezos_protocol_environment_alpha.Data_encoding.t

Source

val encoding_with_legacy_attestation_name : 
  packed Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval raw : _ operation -> raw

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

Sourceval hash_raw : raw -> Tezos_protocol_environment_alpha.Operation_hash.t

Source

val hash_packed : 
  packed_operation ->
  Tezos_protocol_environment_alpha.Operation_hash.t

Sourceval acceptable_pass : packed_operation -> int option

Sourceval compare_by_passes : packed_operation -> packed_operation -> int

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Missing_signature

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Invalid_signature

Sourceval unsigned_operation_length : _ operation -> int

Source

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

Sourceval pack : 'kind operation -> packed_operation

Source

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

Sourcetype ('a, 'b) eq =

| Eq : ('a, 'a) eq

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

Sourcemodule Encoding : sig ... end

Source

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

Sourceval to_list : packed_contents_list -> packed_contents list