Source: lifted_protocol.ml (p.tezos-protocol-genesis.17.3.doc.src.tezos-protocol-genesis.lifted)

tezos-protocol-genesis
- README
- Library tezos-protocol-genesis
  - Tezos_protocol_genesis
- Library tezos-protocol-genesis.environment
  - Tezos_protocol_environment_genesis
- Library tezos-protocol-genesis.lifted
  - Tezos_protocol_genesis_lifted
- Library tezos-protocol-genesis.raw
  - Tezos_raw_protocol_genesis
- Sources
  - tezos-protocol-genesis
  - tezos-protocol-genesis.environment
    - tezos_protocol_environment_genesis.ml
  - tezos-protocol-genesis.lifted
    - lifted_protocol.ml
    - tezos_protocol_genesis_lifted.ml
  - tezos-protocol-genesis.raw