package tezos-protocol-008-PtEdoTez

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type location = int
type annot = string list
type expr = Michelson_v1_primitives.prim Tezos_micheline.Micheline.canonical
type Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error +=
  1. | Lazy_script_decode
type lazy_expr = expr Tezos_base__TzPervasives.Data_encoding.lazy_t
type node = (location, Michelson_v1_primitives.prim) Tezos_micheline.Micheline.node
val location_encoding : location Tezos_base__TzPervasives.Data_encoding.t
val expr_encoding : expr Tezos_base__TzPervasives.Data_encoding.t
val lazy_expr_encoding : lazy_expr Tezos_base__TzPervasives.Data_encoding.t
val lazy_expr : expr -> lazy_expr
type t = {
  1. code : lazy_expr;
  2. storage : lazy_expr;
}
val encoding : t Tezos_base__TzPervasives.Data_encoding.t
val deserialized_cost : expr -> Gas_limit_repr.cost
val serialized_cost : bytes -> Gas_limit_repr.cost
val traversal_cost : node -> Gas_limit_repr.cost
val int_node_cost : Z.t -> Gas_limit_repr.cost
val int_node_cost_of_numbits : int -> Gas_limit_repr.cost
val string_node_cost : string -> Gas_limit_repr.cost
val string_node_cost_of_length : int -> Gas_limit_repr.cost
val bytes_node_cost : bytes -> Gas_limit_repr.cost
val bytes_node_cost_of_length : int -> Gas_limit_repr.cost
val prim_node_cost_nonrec : expr list -> annot -> Gas_limit_repr.cost
val seq_node_cost_nonrec : expr list -> Gas_limit_repr.cost
val seq_node_cost_nonrec_of_length : int -> Gas_limit_repr.cost
val force_decode : lazy_expr -> (expr * Gas_limit_repr.cost, Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error list) Stdlib.result
val force_bytes : lazy_expr -> (bytes * Gas_limit_repr.cost, Tezos_protocol_environment_008_PtEdoTez__Environment.Error_monad.error list) Stdlib.result
val minimal_deserialize_cost : lazy_expr -> Gas_limit_repr.cost
val unit_parameter : lazy_expr
val is_unit_parameter : lazy_expr -> bool
val strip_annotations : node -> node
val micheline_nodes : node -> int
val strip_locations_cost : node -> Gas_limit_repr.cost
OCaml

Innovation. Community. Security.