type chain_prefix = unit * chainval chain_path : (unit, chain_prefix) Tezos_rpc.RPC_path.tval parse_chain : string -> (chain, string) Stdlib.resultval chain_to_string : chain -> stringval chain_arg : chain Tezos_rpc.RPC_arg.ttype block = [ | `GenesisThe genesis block
*)| `Head of intThe nth predecessor of the current_head block if n > 0. If n = 0, represents the current_head. n should not be negative since the current_head does not have successors.
| `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * intThe nth predecessor of the caboose, the checkpoint or the savepoint if n > 0. If n = 0, represents the block itself. If n < 0, represents the nth successor.
| `Hash of Tezos_crypto.Block_hash.t * intThe nth predecessor of the block of given hash if n > 0. If n = 0, represents the block itself. Otherwise, if n < 0, represents the nth successor.
| `Level of Stdlib.Int32.tThe block at a given level
]A representation of a block's position relatively to a known block of a chain.
val parse_block : string -> (block, string) Stdlib.resultval to_string : block -> stringval dir_path : (chain_prefix, chain_prefix) Tezos_rpc.RPC_path.tval path : (chain_prefix, chain_prefix * block) Tezos_rpc.RPC_path.tval mempool_path :
('a, 'b) Tezos_rpc.RPC_path.t ->
('a, 'b) Tezos_rpc.RPC_path.tval live_blocks_path :
('a, 'b) Tezos_rpc.RPC_path.t ->
('a, 'b) Tezos_rpc.RPC_path.tval raw_context_eq : raw_context -> raw_context -> boolraw_context_eq rc1 rc2 tests whether rc1 and rc2 are equal, * that is, have the same constructors; and the constructor's content * are recursively equal
val raw_context_encoding : raw_context Data_encoding.tval pp_raw_context : Stdlib.Format.formatter -> raw_context -> unitval raw_context_insert :
(string list * raw_context) ->
raw_context ->
raw_contextraw_context_insert (k,v) c inserts a key-value pair (k,v) in a raw_context c. If k collides to a existing sub-tree in c, the sub-tree is replaced by a new key-value pair.
type merkle_node = | Hash of merkle_hash_kind * stringA shallow node: just a hash
*)| Data of raw_contextA full-fledged node containing actual data
*)| Continue of merkle_treeAn edge to a more nested tree
*)A node in a merkle_tree
and merkle_tree = merkle_node Tezos_base__TzPervasives.TzString.Map.tThe type of Merkle tree used by the light mode
val merkle_tree_eq : merkle_tree -> merkle_tree -> boolmerkle_tree_eq mtree1 mtree2 tests whether mtree1 and mtree2 are equal, * that is, have the same constructors; and the constructor's content * are recursively equal
Whether an RPC caller requests an entirely shallow Merkle tree (Hole) or whether the returned tree should contain data at the given key (Raw_context)
val pp_merkle_node : Stdlib.Format.formatter -> merkle_node -> unitval pp_merkle_tree : Stdlib.Format.formatter -> merkle_tree -> unitmodule type PROTO = sig ... endtype protocols = {current_protocol : Tezos_crypto.Protocol_hash.t;next_protocol : Tezos_crypto.Protocol_hash.t;}val protocols :
Tezos_rpc.RPC_context.simple ->
?chain:chain ->
?block:block ->
unit ->
(protocols, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.tmodule Make (Proto : PROTO) (Next_proto : PROTO) : sig ... endmodule Fake_protocol : PROTOmodule Empty : sig ... end