package tezos-protocol-006-PsCARTHA

  1. Overview
  2. Docs
package tezos-protocol-006-PsCARTHA
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_006_PsCARTHA__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 : Tezos_protocol_environment_structs.V0.M.MBytes.t -> Gas_limit_repr.cost
val traversal_cost : node -> Gas_limit_repr.cost
val node_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 : Tezos_protocol_environment_structs.V0.M.MBytes.t -> 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 prim_node_cost_nonrec_of_length : int -> 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_006_PsCARTHA__Environment.Error_monad.error list) Stdlib.result
val force_bytes : lazy_expr -> (Tezos_protocol_environment_structs.V0.M.MBytes.t * Gas_limit_repr.cost, Tezos_protocol_environment_006_PsCARTHA__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
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