tezos-protocol-001-PtCJ7pwo 9.7

type nonrec 'kind contents = 'kind contents

type nonrec packed_contents = packed_contents

val contents_encoding : 
  packed_contents Tezos_base__TzPervasives.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_base__TzPervasives.Data_encoding.t

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

type raw = Tezos_base__TzPervasives.Operation.t = {

shell : Tezos_base__TzPervasives.Operation.shell_header;
proto : Tezos_protocol_environment_structs.V0.M.MBytes.t;

}

val raw_encoding : raw Tezos_base__TzPervasives.Data_encoding.t

val contents_list_encoding : 
  packed_contents_list Tezos_base__TzPervasives.Data_encoding.t

type 'kind t = 'kind operation = {

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

}

type nonrec packed = packed_operation

val encoding : packed Tezos_base__TzPervasives.Data_encoding.t

val raw : _ operation -> raw

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

val hash_raw : raw -> Tezos_base__TzPervasives.Operation_hash.t

val hash_packed : packed_operation -> Tezos_base__TzPervasives.Operation_hash.t

val acceptable_passes : packed_operation -> int list

type Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error +=

| Missing_signature

type Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error +=

| Invalid_signature

val check_signature : 
  public_key ->
  Tezos_base__TzPervasives.Chain_id.t ->
  _ operation ->
  (unit,
    Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val check_signature_sync : 
  public_key ->
  Tezos_base__TzPervasives.Chain_id.t ->
  _ operation ->
  (unit,
    Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list)
    Stdlib.result

val internal_operation_encoding : 
  packed_internal_operation Tezos_base__TzPervasives.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-001-PtCJ7pwo