package tezos-protocol-010-PtGRANAD

  1. Overview
  2. Docs
package tezos-protocol-010-PtGRANAD
Legend:
Library
Module
Module type
Parameter
Class
Class type
type Tezos_protocol_environment_010_PtGRANAD.Error_monad.error +=
  1. | Unknown_primitive_name of string
type 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
type 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.

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

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

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct