tezos-protocol-006-PsCARTHA 20.1

type nonrec 'kind contents = 'kind contents

type nonrec packed_contents = packed_contents

val contents_encoding : 
  packed_contents Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t

type nonrec 'kind protocol_data = 'kind protocol_data

type nonrec packed_protocol_data = packed_protocol_data

val protocol_data_encoding : 
  packed_protocol_data Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t

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

type raw = Tezos_protocol_environment_006_PsCARTHA.Operation.t = {

shell : Tezos_protocol_environment_006_PsCARTHA.Operation.shell_header;
proto : Tezos_protocol_environment_006_PsCARTHA.MBytes.t;

}

val raw_encoding : raw Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t

val contents_list_encoding : 
  packed_contents_list Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t

type 'kind t = 'kind operation = {

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

}

type nonrec packed = packed_operation

val encoding : packed Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t

val raw : _ operation -> raw

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

val hash_raw : raw -> Tezos_protocol_environment_006_PsCARTHA.Operation_hash.t

val hash_packed : 
  packed_operation ->
  Tezos_protocol_environment_006_PsCARTHA.Operation_hash.t

val acceptable_passes : packed_operation -> int list

type Tezos_protocol_environment_006_PsCARTHA.Error_monad.error +=

| Missing_signature

type Tezos_protocol_environment_006_PsCARTHA.Error_monad.error +=

| Invalid_signature

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

val check_signature_sync : 
  public_key ->
  Tezos_protocol_environment_006_PsCARTHA.Chain_id.t ->
  _ operation ->
  unit Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult

val internal_operation_encoding : 
  packed_internal_operation
    Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t

val pack : 'kind operation -> packed_operation

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

val to_list : packed_contents_list -> packed_contents list

package tezos-protocol-006-PsCARTHA