tezos-protocol-008-PtEdoTez 9.7

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_CHAIN_ID
| 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_BIG_MAP
| I_EMPTY_MAP
| I_EMPTY_SET
| I_EQ
| I_EXEC
| I_APPLY
| I_FAILWITH
| I_GE
| I_GET
| I_GET_AND_UPDATE
| 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_LEVEL
| 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_UNPAIR
| I_PUSH
| I_RIGHT
| I_SIZE
| I_SOME
| I_SOURCE
| I_SENDER
| I_SELF
| I_SELF_ADDRESS
| I_SLICE
| 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
| I_SAPLING_EMPTY_STATE
| I_SAPLING_VERIFY_UPDATE
| I_DIG
| I_DUG
| I_NEVER
| I_VOTING_POWER
| I_TOTAL_VOTING_POWER
| I_KECCAK
| I_SHA3
| I_PAIRING_CHECK
| I_TICKET
| I_READ_TICKET
| I_SPLIT_TICKET
| I_JOIN_TICKETS
| 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
| T_sapling_transaction
| T_sapling_state
| T_chain_id
| T_never
| T_bls12_381_g1
| T_bls12_381_g2
| T_bls12_381_fr
| T_ticket

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 : bytes -> Gas.cost

val traversal_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 : bytes -> Gas.cost

val bytes_node_cost_of_length : int -> Gas.cost

val prim_node_cost_nonrec : expr list -> 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_in_context : 
  context ->
  lazy_expr ->
  (expr * context,
    Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error list)
    Stdlib.result

val force_bytes_in_context : 
  context ->
  lazy_expr ->
  (bytes * context,
    Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error list)
    Stdlib.result

val unit_parameter : lazy_expr

val micheline_nodes : node -> int

val strip_locations_cost : node -> Gas.cost

package tezos-protocol-008-PtEdoTez