package tezos-protocol-updater

  1. Overview
  2. Docs
module type T = sig ... end
type t = (module T)
val mem : Tezos_base__TzPervasives.Protocol_hash.t -> bool
val seq : unit -> t Tezos_base__TzPervasives.Seq.t
val get : Tezos_base__TzPervasives.Protocol_hash.t -> t option
val get_result : Tezos_base__TzPervasives.Protocol_hash.t -> t Tezos_base__TzPervasives.tzresult Lwt.t
val seq_embedded : unit -> Tezos_base__TzPervasives.Protocol_hash.t Tezos_base__TzPervasives.Seq.t
val get_embedded_sources : Tezos_base__TzPervasives.Protocol_hash.t -> Tezos_base__TzPervasives.Protocol.t option
module Register_embedded_V0 (Env : Tezos_protocol_environment.V0) (Proto : Env.Updater.PROTOCOL) (Source : sig ... end) : T with type P.block_header_data = Proto.block_header_data and type P.operation_data = Proto.operation_data and type P.operation_receipt = Proto.operation_receipt and type P.validation_state = Proto.validation_state
module Register_embedded_V1 (Env : Tezos_protocol_environment.V1) (Proto : Env.Updater.PROTOCOL) (Source : sig ... end) : T with type P.block_header_data = Proto.block_header_data and type P.operation_data = Proto.operation_data and type P.operation_receipt = Proto.operation_receipt and type P.validation_state = Proto.validation_state
module Register_embedded_V2 (Env : Tezos_protocol_environment.V2) (Proto : Env.Updater.PROTOCOL) (Source : sig ... end) : T with type P.block_header_data = Proto.block_header_data and type P.operation_data = Proto.operation_data and type P.operation_receipt = Proto.operation_receipt and type P.validation_state = Proto.validation_state
OCaml

Innovation. Community. Security.