Up – Package index » tezos-protocol-003-PsddFKi3 » Sources » tezos-protocol-003-PsddFKi3.lifted » lifted_protocol.ml

Source file `lifted_protocol.ml`

tezos-protocol-003-PsddFKi3
- README
- Library tezos-protocol-003-PsddFKi3
  - Tezos_protocol_003_PsddFKi3
- Library tezos-protocol-003-PsddFKi3.environment
  - Tezos_protocol_environment_003_PsddFKi3
- Library tezos-protocol-003-PsddFKi3.lifted
  - Tezos_protocol_003_PsddFKi3_lifted
- Library tezos-protocol-003-PsddFKi3.raw
  - Tezos_raw_protocol_003_PsddFKi3
- Sources

1
2
3

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