package tezos-protocol-002-PsYLVpVv

  1. Overview
  2. Docs
package tezos-protocol-002-PsYLVpVv
Legend:
Library
Module
Module type
Parameter
Class
Class type
type prim = Michelson_v1_primitives.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_CHECK_SIGNATURE
  26. | I_COMPARE
  27. | I_CONCAT
  28. | I_CONS
  29. | I_CREATE_ACCOUNT
  30. | I_CREATE_CONTRACT
  31. | I_IMPLICIT_ACCOUNT
  32. | I_DIP
  33. | I_DROP
  34. | I_DUP
  35. | I_EDIV
  36. | I_EMPTY_MAP
  37. | I_EMPTY_SET
  38. | I_EQ
  39. | I_EXEC
  40. | I_FAILWITH
  41. | I_GE
  42. | I_GET
  43. | I_GT
  44. | I_HASH_KEY
  45. | I_IF
  46. | I_IF_CONS
  47. | I_IF_LEFT
  48. | I_IF_NONE
  49. | I_INT
  50. | I_LAMBDA
  51. | I_LE
  52. | I_LEFT
  53. | I_LOOP
  54. | I_LSL
  55. | I_LSR
  56. | I_LT
  57. | I_MAP
  58. | I_MEM
  59. | I_MUL
  60. | I_NEG
  61. | I_NEQ
  62. | I_NIL
  63. | I_NONE
  64. | I_NOT
  65. | I_NOW
  66. | I_OR
  67. | I_PAIR
  68. | I_PUSH
  69. | I_RIGHT
  70. | I_SIZE
  71. | I_SOME
  72. | I_SOURCE
  73. | I_SENDER
  74. | I_SELF
  75. | I_SLICE
  76. | I_STEPS_TO_QUOTA
  77. | I_SUB
  78. | I_SWAP
  79. | I_TRANSFER_TOKENS
  80. | I_SET_DELEGATE
  81. | I_UNIT
  82. | I_UPDATE
  83. | I_XOR
  84. | I_ITER
  85. | I_LOOP_LEFT
  86. | I_ADDRESS
  87. | I_CONTRACT
  88. | I_ISNAT
  89. | I_CAST
  90. | I_RENAME
  91. | T_bool
  92. | T_contract
  93. | T_int
  94. | T_key
  95. | T_key_hash
  96. | T_lambda
  97. | T_list
  98. | T_map
  99. | T_big_map
  100. | T_nat
  101. | T_option
  102. | T_or
  103. | T_pair
  104. | T_set
  105. | T_signature
  106. | T_string
  107. | T_bytes
  108. | T_mutez
  109. | T_timestamp
  110. | T_unit
  111. | T_operation
  112. | T_address
type location = int
type annot = string list
type lazy_expr = expr Data_encoding.lazy_t
val lazy_expr : expr -> lazy_expr
type t = {
  1. code : lazy_expr;
  2. storage : lazy_expr;
}
val location_encoding : location Data_encoding.t
val expr_encoding : expr Data_encoding.t
val prim_encoding : prim Data_encoding.t
val encoding : t Data_encoding.t
val lazy_expr_encoding : lazy_expr Data_encoding.t
val deserialized_cost : expr -> Gas.cost
val traversal_cost : node -> Gas.cost
val node_cost : node -> Gas.cost
val int_node_cost : Z.t -> Gas.cost
val int_node_cost_of_numbits : int -> Gas.cost
val string_node_cost : string -> Gas.cost
val string_node_cost_of_length : int -> Gas.cost
val bytes_node_cost_of_length : int -> Gas.cost
val prim_node_cost_nonrec : expr list -> annot -> Gas.cost
val prim_node_cost_nonrec_of_length : int -> annot -> Gas.cost
val seq_node_cost_nonrec : expr list -> Gas.cost
val seq_node_cost_nonrec_of_length : int -> Gas.cost
val minimal_deserialize_cost : lazy_expr -> Gas.cost
val force_decode : context -> lazy_expr -> (expr * context, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val force_bytes : context -> lazy_expr -> (Tezos_protocol_environment_structs.V0.M.MBytes.t * context, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t