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

tezos-protocol-demo-noops
- README
- Library tezos-protocol-demo-noops
  - Tezos_protocol_demo_noops
- Library tezos-protocol-demo-noops.environment
  - Tezos_protocol_environment_demo_noops
- Library tezos-protocol-demo-noops.lifted
  - Tezos_protocol_demo_noops_lifted
- Library tezos-protocol-demo-noops.raw
  - Tezos_raw_protocol_demo_noops
- Sources
  - tezos-protocol-demo-noops
  - tezos-protocol-demo-noops.environment
    - tezos_protocol_environment_demo_noops.ml
  - tezos-protocol-demo-noops.lifted
    - lifted_protocol.ml
    - tezos_protocol_demo_noops_lifted.ml
  - tezos-protocol-demo-noops.raw
    - main.ml
    - tezos_raw_protocol_demo_noops.ml