Skip to content

Proto/Env: use skip list structure from environment

Alain Mebsout requested to merge alain@functori@skip-list-env into master

Context

Following !8989 (merged), this MR exposes the skip list structure in the environment V10 and makes the protocol Alpha use it instead.

Depends on !8989 (merged).

Manually testing the MR

dune exec src/proto_alpha/lib_protocol/test/unit/main.exe -- --file test_skip_list_repr.ml

Merge request reports