package tezos-protocol-008-PtEdo2Zk

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-008-PtEdo2Zk.raw/Tezos_raw_protocol_008_PtEdo2Zk/Michelson_v1_primitives/index.html

Module Tezos_raw_protocol_008_PtEdo2Zk.Michelson_v1_primitivesSource

Sourcetype Tezos_protocol_environment_008_PtEdo2Zk.Error_monad.error +=
  1. | Unknown_primitive_name of string
Sourcetype prim =
  1. | K_parameter
  2. | K_storage
  3. | K_code
  4. | D_False
  5. | D_Elt
  6. | D_Left
  7. | D_None
  8. | D_Pair
  9. | D_Right
  10. | D_Some
  11. | D_True
  12. | D_Unit
  13. | I_PACK
  14. | I_UNPACK
  15. | I_BLAKE2B
  16. | I_SHA256
  17. | I_SHA512
  18. | I_ABS
  19. | I_ADD
  20. | I_AMOUNT
  21. | I_AND
  22. | I_BALANCE
  23. | I_CAR
  24. | I_CDR
  25. | I_CHAIN_ID
  26. | I_CHECK_SIGNATURE
  27. | I_COMPARE
  28. | I_CONCAT
  29. | I_CONS
  30. | I_CREATE_ACCOUNT
  31. | I_CREATE_CONTRACT
  32. | I_IMPLICIT_ACCOUNT
  33. | I_DIP
  34. | I_DROP
  35. | I_DUP
  36. | I_EDIV
  37. | I_EMPTY_BIG_MAP
  38. | I_EMPTY_MAP
  39. | I_EMPTY_SET
  40. | I_EQ
  41. | I_EXEC
  42. | I_APPLY
  43. | I_FAILWITH
  44. | I_GE
  45. | I_GET
  46. | I_GET_AND_UPDATE
  47. | I_GT
  48. | I_HASH_KEY
  49. | I_IF
  50. | I_IF_CONS
  51. | I_IF_LEFT
  52. | I_IF_NONE
  53. | I_INT
  54. | I_LAMBDA
  55. | I_LE
  56. | I_LEFT
  57. | I_LEVEL
  58. | I_LOOP
  59. | I_LSL
  60. | I_LSR
  61. | I_LT
  62. | I_MAP
  63. | I_MEM
  64. | I_MUL
  65. | I_NEG
  66. | I_NEQ
  67. | I_NIL
  68. | I_NONE
  69. | I_NOT
  70. | I_NOW
  71. | I_OR
  72. | I_PAIR
  73. | I_UNPAIR
  74. | I_PUSH
  75. | I_RIGHT
  76. | I_SIZE
  77. | I_SOME
  78. | I_SOURCE
  79. | I_SENDER
  80. | I_SELF
  81. | I_SELF_ADDRESS
  82. | I_SLICE
  83. | I_STEPS_TO_QUOTA
  84. | I_SUB
  85. | I_SWAP
  86. | I_TRANSFER_TOKENS
  87. | I_SET_DELEGATE
  88. | I_UNIT
  89. | I_UPDATE
  90. | I_XOR
  91. | I_ITER
  92. | I_LOOP_LEFT
  93. | I_ADDRESS
  94. | I_CONTRACT
  95. | I_ISNAT
  96. | I_CAST
  97. | I_RENAME
  98. | I_SAPLING_EMPTY_STATE
  99. | I_SAPLING_VERIFY_UPDATE
  100. | I_DIG
  101. | I_DUG
  102. | I_NEVER
  103. | I_VOTING_POWER
  104. | I_TOTAL_VOTING_POWER
  105. | I_KECCAK
  106. | I_SHA3
  107. | I_PAIRING_CHECK
  108. | I_TICKET
  109. | I_READ_TICKET
  110. | I_SPLIT_TICKET
  111. | I_JOIN_TICKETS
  112. | T_bool
  113. | T_contract
  114. | T_int
  115. | T_key
  116. | T_key_hash
  117. | T_lambda
  118. | T_list
  119. | T_map
  120. | T_big_map
  121. | T_nat
  122. | T_option
  123. | T_or
  124. | T_pair
  125. | T_set
  126. | T_signature
  127. | T_string
  128. | T_bytes
  129. | T_mutez
  130. | T_timestamp
  131. | T_unit
  132. | T_operation
  133. | T_address
  134. | T_sapling_transaction
  135. | T_sapling_state
  136. | T_chain_id
  137. | T_never
  138. | T_bls12_381_g1
  139. | T_bls12_381_g2
  140. | T_bls12_381_fr
  141. | T_ticket
Sourcetype namespace =
  1. | Type_namespace
  2. | Constant_namespace
  3. | Instr_namespace
  4. | Keyword_namespace

Auxiliary types for error documentation. All the prim constructor prefixes must match their namespace.

Sourceval namespace : prim -> namespace
Sourceval string_of_prim : prim -> string
Sourceval string_of_namespace : namespace -> string

The string corresponds to the constructor prefix from the given namespace (i.e. "T", "D", "I" or "K")