package tezos-protocol-003-PsddFKi3
Tezos protocol 003-PsddFKi3 package
Install
dune-project
Dependency
Authors
Maintainers
Sources
tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
doc/tezos_raw_protocol_003_PsddFKi3/Tezos_raw_protocol_003_PsddFKi3/Script_tc_errors_registration/index.html
Module Tezos_raw_protocol_003_PsddFKi3.Script_tc_errors_registrationSource
Source
val type_map_enc :
(Alpha_context.Script.location
* ((Alpha_context.Script.expr * string list) list
* (Alpha_context.Script.expr * string list) list))
list
Tezos_protocol_environment_003_PsddFKi3.Data_encoding.encodingSource
val stack_ty_enc :
(Alpha_context.Script.expr * string list) list
Tezos_protocol_environment_003_PsddFKi3.Data_encoding.encoding