Operation (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001_PtAtLas.Alpha

type nonrec 'kind contents = 'kind contents

type nonrec packed_contents = packed_contents

val contents_encoding : 
  packed_contents Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val contents_encoding_with_legacy_attestation_name : 
  packed_contents Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

type nonrec 'kind protocol_data = 'kind protocol_data

type nonrec packed_protocol_data = packed_protocol_data

type consensus_watermark =

| Attestation of Mavryk_protocol_environment_001_PtAtLas.Chain_id.t
| Preattestation of Mavryk_protocol_environment_001_PtAtLas.Chain_id.t
| Dal_attestation of Mavryk_protocol_environment_001_PtAtLas.Chain_id.t

val to_watermark : 
  consensus_watermark ->
  Mavryk_protocol_environment_001_PtAtLas.Signature.watermark

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

val protocol_data_encoding : 
  packed_protocol_data Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val protocol_data_encoding_with_legacy_attestation_name : 
  packed_protocol_data Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

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

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

type raw = Mavryk_protocol_environment_001_PtAtLas.Operation.t = {

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

}

val raw_encoding : raw Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val contents_list_encoding : 
  packed_contents_list Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val contents_list_encoding_with_legacy_attestation_name : 
  packed_contents_list Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

type 'kind t = 'kind operation = {

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

}

type nonrec packed = packed_operation

val encoding : packed Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val encoding_with_legacy_attestation_name : 
  packed Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val raw : _ operation -> raw

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

val hash_raw : raw -> Mavryk_protocol_environment_001_PtAtLas.Operation_hash.t

val hash_packed : 
  packed_operation ->
  Mavryk_protocol_environment_001_PtAtLas.Operation_hash.t

val acceptable_pass : packed_operation -> int option

val compare_by_passes : packed_operation -> packed_operation -> int

type Mavryk_protocol_environment_001_PtAtLas.Error_monad.error +=

| Missing_signature

type Mavryk_protocol_environment_001_PtAtLas.Error_monad.error +=

| Invalid_signature

val unsigned_operation_length : _ operation -> int

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

val pack : 'kind operation -> packed_operation

val compare : 
  (Mavryk_protocol_environment_001_PtAtLas.Operation_hash.t * packed_operation) ->
  (Mavryk_protocol_environment_001_PtAtLas.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
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

val to_list : packed_contents_list -> packed_contents list