package tezos-protocol-003-PsddFKi3

  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_003_PsddFKi3__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_003_PsddFKi3__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_003_PsddFKi3__Environment.Error_monad.error list) Stdlib.result
val minimal_deserialize_cost : lazy_expr -> Gas_limit_repr.cost
OCaml

Innovation. Community. Security.