Up – Package index » tezos-protocol-006-PsCARTHA » Sources » tezos_protocol_006_PsCARTHA_lifted » lifted_protocol.ml

Source file `lifted_protocol.ml`

tezos-protocol-006-PsCARTHA
- README
- Library tezos-protocol-006-PsCARTHA.embedded-protocol
  - Tezos_embedded_protocol_006_PsCARTHA
- Library tezos-protocol-006-PsCARTHA.protocol
  - Tezos_protocol_006_PsCARTHA
- Library tezos_protocol_006_PsCARTHA_lifted
  - Tezos_protocol_006_PsCARTHA_lifted
- Library tezos_protocol_environment_006_PsCARTHA
  - Tezos_protocol_environment_006_PsCARTHA
- Library tezos_raw_protocol_006_PsCARTHA
  - Tezos_raw_protocol_006_PsCARTHA
- Sources
  - tezos-protocol-006-PsCARTHA.embedded-protocol
    - registerer.ml
    - tezos_embedded_protocol_006_PsCARTHA.ml
  - tezos-protocol-006-PsCARTHA.protocol
  - tezos_protocol_006_PsCARTHA_lifted
    - lifted_protocol.ml
    - tezos_protocol_006_PsCARTHA_lifted.ml
  - tezos_protocol_environment_006_PsCARTHA
    - tezos_protocol_environment_006_PsCARTHA.ml
  - tezos_raw_protocol_006_PsCARTHA

1
2
3

include Environment.Lift (Protocol)
let hash = Protocol.hash