tezos-protocol-001-PtCJ7pwo 9.7

tezos-protocol-001-PtCJ7pwo

type prim = Michelson_v1_primitives.prim =

| K_parameter
| K_storage
| K_code
| D_False
| D_Elt
| D_Left
| D_None
| D_Pair
| D_Right
| D_Some
| D_True
| D_Unit
| I_PACK
| I_UNPACK
| I_BLAKE2B
| I_SHA256
| I_SHA512
| I_ABS
| I_ADD
| I_AMOUNT
| I_AND
| I_BALANCE
| I_CAR
| I_CDR
| I_CHECK_SIGNATURE
| I_COMPARE
| I_CONCAT
| I_CONS
| I_CREATE_ACCOUNT
| I_CREATE_CONTRACT
| I_IMPLICIT_ACCOUNT
| I_DIP
| I_DROP
| I_DUP
| I_EDIV
| I_EMPTY_MAP
| I_EMPTY_SET
| I_EQ
| I_EXEC
| I_FAILWITH
| I_GE
| I_GET
| I_GT
| I_HASH_KEY
| I_IF
| I_IF_CONS
| I_IF_LEFT
| I_IF_NONE
| I_INT
| I_LAMBDA
| I_LE
| I_LEFT
| I_LOOP
| I_LSL
| I_LSR
| I_LT
| I_MAP
| I_MEM
| I_MUL
| I_NEG
| I_NEQ
| I_NIL
| I_NONE
| I_NOT
| I_NOW
| I_OR
| I_PAIR
| I_PUSH
| I_RIGHT
| I_SIZE
| I_SOME
| I_SOURCE
| I_SENDER
| I_SELF
| I_STEPS_TO_QUOTA
| I_SUB
| I_SWAP
| I_TRANSFER_TOKENS
| I_SET_DELEGATE
| I_UNIT
| I_UPDATE
| I_XOR
| I_ITER
| I_LOOP_LEFT
| I_ADDRESS
| I_CONTRACT
| I_ISNAT
| I_CAST
| I_RENAME
| T_bool
| T_contract
| T_int
| T_key
| T_key_hash
| T_lambda
| T_list
| T_map
| T_big_map
| T_nat
| T_option
| T_or
| T_pair
| T_set
| T_signature
| T_string
| T_bytes
| T_mutez
| T_timestamp
| T_unit
| T_operation
| T_address

type location = int

type annot = string list

type expr = prim Tezos_micheline.Micheline.canonical

type lazy_expr = expr Tezos_base__TzPervasives.Data_encoding.lazy_t

val lazy_expr : expr -> lazy_expr

type node = (location, prim) Tezos_micheline.Micheline.node

type t = {

code : lazy_expr;
storage : lazy_expr;

}

val location_encoding : location Tezos_base__TzPervasives.Data_encoding.t

val expr_encoding : expr Tezos_base__TzPervasives.Data_encoding.t

val prim_encoding : prim Tezos_base__TzPervasives.Data_encoding.t

val encoding : t Tezos_base__TzPervasives.Data_encoding.t

val lazy_expr_encoding : lazy_expr Tezos_base__TzPervasives.Data_encoding.t

val deserialized_cost : expr -> Gas.cost

val serialized_cost : 
  Tezos_protocol_environment_structs.V0.M.MBytes.t ->
  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 : 
  Tezos_protocol_environment_structs.V0.M.MBytes.t ->
  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_001_PtCJ7pwo__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val force_bytes : 
  context ->
  lazy_expr ->
  (Tezos_protocol_environment_structs.V0.M.MBytes.t * context,
    Tezos_protocol_environment_001_PtCJ7pwo__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

package tezos-protocol-001-PtCJ7pwo