• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • tezos-protocol-environment
  • Documentation
ON THIS PAGE
  • Libraries
    • tezos-protocol-environment
    • tezos-protocol-environment.sigs
    • tezos-protocol-environment.sigs.stdlib-compat
    • tezos-protocol-environment.structs
package tezos-protocol-environment
  • tezos-protocol-environment
    • Tezos_protocol_environment
      • Context
        • Cache
          • Internal_for_tests
        • Proof
        • Tree
      • Internal_for_tests
        • Environment_cache
        • Environment_protocol_T_test
          • Mock_all_unit
      • Memory_context
        • M
          • Proof
          • Tree
      • PROTOCOL
      • Proxy_context
        • M
      • Proxy_delegate
        • T
      • Register
        • 1-C
          • Proof
          • Tree
      • V0
        • Make
          • 1-Param
          • Base58
          • Blake2B
            • Make
              • 1-Register
              • 2-Name
              • Map
              • Set
            • Make_minimal
              • 1-Name
            • Name
            • PrefixedName
          • Block_hash
            • Map
            • Set
          • Block_header
          • Chain_id
            • Map
            • Set
          • Compare
            • Bool
            • COMPARABLE
            • Char
            • Float
            • Int
            • Int32
            • Int64
            • List
              • 1-P
            • Make
              • 1-P
            • Option
              • 1-P
            • S
            • String
            • Uint32
            • Uint64
            • Z
          • Context
          • Context_hash
            • Map
            • Set
          • Data_encoding
            • Binary
            • Bounded
            • Fixed
            • Json
            • Variable
          • Ed25519
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Error_monad
          • Fitness
          • Format
          • Int32
          • Int64
          • Lift
            • 1-P
          • List
          • Logging
          • Lwt
          • Lwt_list
          • MBytes
            • LE
          • Map
            • Make
              • 1-Ord
            • OrderedType
          • Micheline
          • Operation
          • Operation_hash
            • Map
            • Set
          • Operation_list_hash
            • Map
            • Set
          • Operation_list_list_hash
            • Map
            • Set
          • Option
          • P256
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Pervasives
          • Protocol_hash
            • Map
            • Set
          • RPC_answer
          • RPC_arg
          • RPC_context
            • simple
          • RPC_directory
          • RPC_path
          • RPC_query
          • RPC_service
          • Raw_hashes
          • S
            • B58_DATA
            • ENCODER
            • HASH
              • Map
              • Set
            • HASHABLE
            • INDEXES
              • Map
              • Set
            • MAP
            • MERKLE_TREE
              • Map
              • Set
            • MINIMAL_HASH
            • RAW_DATA
            • SET
            • SIGNATURE
              • Public_key
              • Public_key_hash
                • Map
                • Set
            • T
          • Secp256k1
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Set
            • Make
              • 1-Ord
            • OrderedType
          • Signature
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • String
            • LE
          • Time
          • Updater
            • PROTOCOL
          • Z
          • proto_rpc_context
          • proto_rpc_context_of_directory
        • T
          • Base58
          • Blake2B
            • Make
              • 1-Register
              • 2-Name
              • Map
              • Set
            • Make_minimal
              • 1-Name
            • Name
            • PrefixedName
          • Block_hash
            • Map
            • Set
          • Block_header
          • Chain_id
            • Map
            • Set
          • Compare
            • Bool
            • COMPARABLE
            • Char
            • Float
            • Int
            • Int32
            • Int64
            • List
              • 1-P
            • Make
              • 1-P
            • Option
              • 1-P
            • S
            • String
            • Uint32
            • Uint64
            • Z
          • Context
          • Context_hash
            • Map
            • Set
          • Data_encoding
            • Binary
            • Bounded
            • Fixed
            • Json
            • Variable
          • Ed25519
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Error_monad
          • Fitness
          • Format
          • Int32
          • Int64
          • Lift
            • 1-P
          • List
          • Logging
          • Lwt
          • Lwt_list
          • MBytes
            • LE
          • Map
            • Make
              • 1-Ord
            • OrderedType
          • Micheline
          • Operation
          • Operation_hash
            • Map
            • Set
          • Operation_list_hash
            • Map
            • Set
          • Operation_list_list_hash
            • Map
            • Set
          • Option
          • P256
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Pervasives
          • Protocol_hash
            • Map
            • Set
          • RPC_answer
          • RPC_arg
          • RPC_context
            • simple
          • RPC_directory
          • RPC_path
          • RPC_query
          • RPC_service
          • Raw_hashes
          • S
            • B58_DATA
            • ENCODER
            • HASH
              • Map
              • Set
            • HASHABLE
            • INDEXES
              • Map
              • Set
            • MAP
            • MERKLE_TREE
              • Map
              • Set
            • MINIMAL_HASH
            • RAW_DATA
            • SET
            • SIGNATURE
              • Public_key
              • Public_key_hash
                • Map
                • Set
            • T
          • Secp256k1
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Set
            • Make
              • 1-Ord
            • OrderedType
          • Signature
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • String
            • LE
          • Time
          • Updater
            • PROTOCOL
          • Z
          • proto_rpc_context
          • proto_rpc_context_of_directory
      • V1
        • Make
          • 1-Param
          • Base58
          • Blake2B
            • Make
              • 1-Register
              • 2-Name
              • Map
              • Set
            • Make_minimal
              • 1-Name
            • Name
            • PrefixedName
            • Register
          • Block_hash
            • Map
            • Set
          • Block_header
          • Bls12_381
            • Fq12
            • Fr
            • G1
              • Scalar
            • G2
              • Scalar
            • Gt
          • Bytes
          • Chain_id
            • Map
            • Set
          • Char
          • Compare
            • Bool
            • Bytes
            • COMPARABLE
            • Char
            • Int
            • Int32
            • Int64
            • List
              • 1-P
            • Make
              • 1-P
            • Option
              • 1-P
            • S
            • String
            • Uint32
            • Uint64
            • Z
          • Context
          • Context_hash
            • Map
            • Set
          • Data_encoding
            • Binary
            • Bounded
            • Fixed
            • Json
            • Variable
          • Ed25519
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Error_monad
          • Fitness
          • Format
          • Hex
          • Int32
          • Int64
          • Lift
            • 1-P
          • List
          • Logging
          • Lwt
          • Lwt_list
          • Map
            • Make
              • 1-Ord
            • OrderedType
          • Micheline
          • Operation
          • Operation_hash
            • Map
            • Set
          • Operation_list_hash
            • Map
            • Set
          • Operation_list_list_hash
            • Map
            • Set
          • Option
          • P256
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Pervasives
          • Protocol_hash
            • Map
            • Set
          • Pvss_secp256k1
            • Clear_share
            • Commitment
            • Encrypted_share
            • Public_key
            • Secret_key
          • RPC_answer
          • RPC_arg
          • RPC_context
            • simple
          • RPC_directory
          • RPC_path
          • RPC_query
          • RPC_service
          • Raw_hashes
          • S
            • B58_DATA
            • CURVE
              • Scalar
            • ENCODER
            • FIELD
            • HASH
              • Map
              • Set
            • HASHABLE
            • INDEXES
              • Map
              • Set
            • INDEXES_MAP
            • INDEXES_SET
            • MAP
            • MERKLE_TREE
              • Map
              • Set
            • MINIMAL_HASH
            • PAIRING
              • G1
                • Scalar
              • G2
                • Scalar
              • Gt
            • PRIME_FIELD
            • PVSS
              • Clear_share
              • Commitment
              • Encrypted_share
              • Public_key
              • Secret_key
            • PVSS_ELEMENT
            • PVSS_PUBLIC_KEY
            • PVSS_SECRET_KEY
            • RAW_DATA
            • SET
            • SIGNATURE
              • Public_key
              • Public_key_hash
                • Map
                • Set
            • SIGNATURE_PUBLIC_KEY
            • SIGNATURE_PUBLIC_KEY_HASH
              • Map
              • Set
            • T
          • Secp256k1
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Set
            • Make
              • 1-Ord
            • OrderedType
          • Signature
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • String
          • Time
          • TzEndian
          • Updater
            • PROTOCOL
          • Z
          • proto_rpc_context
          • proto_rpc_context_of_directory
        • T
          • Base58
          • Blake2B
            • Make
              • 1-Register
              • 2-Name
              • Map
              • Set
            • Make_minimal
              • 1-Name
            • Name
            • PrefixedName
            • Register
          • Block_hash
            • Map
            • Set
          • Block_header
          • Bls12_381
            • Fq12
            • Fr
            • G1
              • Scalar
            • G2
              • Scalar
            • Gt
          • Bytes
          • Chain_id
            • Map
            • Set
          • Char
          • Compare
            • Bool
            • Bytes
            • COMPARABLE
            • Char
            • Int
            • Int32
            • Int64
            • List
              • 1-P
            • Make
              • 1-P
            • Option
              • 1-P
            • S
            • String
            • Uint32
            • Uint64
            • Z
          • Context
          • Context_hash
            • Map
            • Set
          • Data_encoding
            • Binary
            • Bounded
            • Fixed
            • Json
            • Variable
          • Ed25519
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Error_monad
          • Fitness
          • Format
          • Hex
          • Int32
          • Int64
          • Lift
            • 1-P
          • List
          • Logging
          • Lwt
          • Lwt_list
          • Map
            • Make
              • 1-Ord
            • OrderedType
          • Micheline
          • Operation
          • Operation_hash
            • Map
            • Set
          • Operation_list_hash
            • Map
            • Set
          • Operation_list_list_hash
            • Map
            • Set
          • Option
          • P256
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Pervasives
          • Protocol_hash
            • Map
            • Set
          • Pvss_secp256k1
            • Clear_share
            • Commitment
            • Encrypted_share
            • Public_key
            • Secret_key
          • RPC_answer
          • RPC_arg
          • RPC_context
            • simple
          • RPC_directory
          • RPC_path
          • RPC_query
          • RPC_service
          • Raw_hashes
          • S
            • B58_DATA
            • CURVE
              • Scalar
            • ENCODER
            • FIELD
            • HASH
              • Map
              • Set
            • HASHABLE
            • INDEXES
              • Map
              • Set
            • INDEXES_MAP
            • INDEXES_SET
            • MAP
            • MERKLE_TREE
              • Map
              • Set
            • MINIMAL_HASH
            • PAIRING
              • G1
                • Scalar
              • G2
                • Scalar
              • Gt
            • PRIME_FIELD
            • PVSS
              • Clear_share
              • Commitment
              • Encrypted_share
              • Public_key
              • Secret_key
            • PVSS_ELEMENT
            • PVSS_PUBLIC_KEY
            • PVSS_SECRET_KEY
            • RAW_DATA
            • SET
            • SIGNATURE
              • Public_key
              • Public_key_hash
                • Map
                • Set
            • SIGNATURE_PUBLIC_KEY
            • SIGNATURE_PUBLIC_KEY_HASH
              • Map
              • Set
            • T
          • Secp256k1
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Set
            • Make
              • 1-Ord
            • OrderedType
          • Signature
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • String
          • Time
          • TzEndian
          • Updater
            • PROTOCOL
          • Z
          • proto_rpc_context
          • proto_rpc_context_of_directory
      • V2
        • Make
          • 1-Param
          • Base58
          • Bits
          • Blake2B
            • Make
              • 1-Register
              • 2-Name
              • Map
              • Set
            • Make_minimal
              • 1-Name
            • Name
            • PrefixedName
            • Register
          • Block_hash
            • Map
            • Set
          • Block_header
          • Bls12_381
            • Fq12
            • Fr
            • G1
              • Scalar
            • G2
              • Scalar
            • Gt
          • Bytes
          • Chain_id
            • Map
            • Set
          • Char
          • Compare
            • Bool
            • Bytes
            • COMPARABLE
            • Char
            • Int
            • Int32
            • Int64
            • List
              • 1-P
            • Make
              • 1-P
            • Option
              • 1-P
            • S
            • String
            • Uint32
            • Uint64
            • Z
          • Context
            • TREE
            • Tree
            • VIEW
          • Context_hash
            • Map
            • Set
          • Data_encoding
            • Binary
            • Bounded
            • Fixed
            • Json
            • Variable
          • Ed25519
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Equality_witness
          • Error_monad
          • Fitness
          • Format
          • Hex
          • Int32
          • Int64
          • Lift
            • 1-P
          • List
          • Logging
          • Lwt
          • Lwt_list
          • Map
            • Make
              • 1-Ord
            • OrderedType
          • Micheline
          • Operation
          • Operation_hash
            • Map
            • Set
          • Operation_list_hash
            • Map
            • Set
          • Operation_list_list_hash
            • Map
            • Set
          • Option
          • P256
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Pervasives
          • Protocol_hash
            • Map
            • Set
          • Pvss_secp256k1
            • Clear_share
            • Commitment
            • Encrypted_share
            • Public_key
            • Secret_key
          • RPC_answer
          • RPC_arg
          • RPC_context
            • simple
          • RPC_directory
          • RPC_path
          • RPC_query
          • RPC_service
          • Raw_hashes
          • S
            • B58_DATA
            • CURVE
              • Scalar
            • ENCODER
            • FIELD
            • HASH
              • Map
              • Set
            • HASHABLE
            • INDEXES
              • Map
              • Set
            • INDEXES_MAP
            • INDEXES_SET
            • MAP
            • MERKLE_TREE
              • Map
              • Set
            • MINIMAL_HASH
            • PAIRING
              • G1
                • Scalar
              • G2
                • Scalar
              • Gt
            • PRIME_FIELD
            • PVSS
              • Clear_share
              • Commitment
              • Encrypted_share
              • Public_key
              • Secret_key
            • PVSS_ELEMENT
            • PVSS_PUBLIC_KEY
            • PVSS_SECRET_KEY
            • RAW_DATA
            • SET
            • SIGNATURE
              • Public_key
              • Public_key_hash
                • Map
                • Set
            • SIGNATURE_PUBLIC_KEY
            • SIGNATURE_PUBLIC_KEY_HASH
              • Map
              • Set
            • T
          • Secp256k1
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Set
            • Make
              • 1-Ord
            • OrderedType
          • Signature
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • String
          • Time
          • TzEndian
          • Updater
            • PROTOCOL
          • Z
          • proto_rpc_context
          • proto_rpc_context_of_directory
        • T
          • Base58
          • Bits
          • Blake2B
            • Make
              • 1-Register
              • 2-Name
              • Map
              • Set
            • Make_minimal
              • 1-Name
            • Name
            • PrefixedName
            • Register
          • Block_hash
            • Map
            • Set
          • Block_header
          • Bls12_381
            • Fq12
            • Fr
            • G1
              • Scalar
            • G2
              • Scalar
            • Gt
          • Bytes
          • Chain_id
            • Map
            • Set
          • Char
          • Compare
            • Bool
            • Bytes
            • COMPARABLE
            • Char
            • Int
            • Int32
            • Int64
            • List
              • 1-P
            • Make
              • 1-P
            • Option
              • 1-P
            • S
            • String
            • Uint32
            • Uint64
            • Z
          • Context
            • TREE
            • Tree
            • VIEW
          • Context_hash
            • Map
            • Set
          • Data_encoding
            • Binary
            • Bounded
            • Fixed
            • Json
            • Variable
          • Ed25519
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Equality_witness
          • Error_monad
          • Fitness
          • Format
          • Hex
          • Int32
          • Int64
          • Lift
            • 1-P
          • List
          • Logging
          • Lwt
          • Lwt_list
          • Map
            • Make
              • 1-Ord
            • OrderedType
          • Micheline
          • Operation
          • Operation_hash
            • Map
            • Set
          • Operation_list_hash
            • Map
            • Set
          • Operation_list_list_hash
            • Map
            • Set
          • Option
          • P256
            • Public_key
            • Public_key_hash
              • Map
              • Set
          • Pervasives
          • Protocol_hash
            • Map
            • Set
          • Pvss_secp256k1
            • Clear_share
            • Commitment
            • Encrypted_share
            • Public_key
            • Secret_key
          • RPC_answer
          • RPC_arg
          • RPC_context
            • simple
          • RPC_directory
          • RPC_path
          • RPC_query
          • RPC_service
          • Raw_hashes
          • S
            • B58_DATA
            • CURVE
              • Scalar
            • ENCODER
            • FIELD
            • HASH
              • Map
              • Set
            • HASHABLE
            • INDEXES
              • Map
              • Set
            • INDEXES_MAP
            • INDEXES_SET
            • MAP
            • MERKLE_TREE
              • Map
              • Set
            • MINIMAL_HASH
            • PAIRING
              • G1
                • Scalar
              • G2
                • Scalar
              • Gt
            • PRIME_FIELD
            • PVSS
              • Clear_share
              • Commitment
              • Encrypted_share
              • Public_key
              • Secret_key
            • PVSS_ELEMENT
            • PVSS_PUBLIC_KEY
            • PVSS_SECRET_KEY
            • RAW_DATA
            • SET
            • SIGNATURE
              • Public_key
              • Public_key_hash
                • Map