tezos-protocol-011-PtHangz2 20.1 (latest)

Defines a Michelson expression representation as a Micheline node with canonical (int) location and Michelson_v1_primitives.prim as content.

Types expr and node both define representation of Michelson expressions and are indeed the same type internally, although this is not visible outside Micheline due to interface abstraction.

type location =
  Tezos_protocol_environment_011_PtHangz2.Micheline.canonical_location

Locations are used by Micheline mostly for error-reporting and pretty- printing expressions. canonical_location is simply an int.

type annot = Tezos_protocol_environment_011_PtHangz2.Micheline.annot

Annotations attached to Michelson expressions.

type expr =
  Michelson_v1_primitives.prim
    Tezos_protocol_environment_011_PtHangz2.Micheline.canonical

Represents a Michelson expression as canonical Micheline.

type Tezos_protocol_environment_011_PtHangz2.Error_monad.error +=

| Lazy_script_decode

type lazy_expr =
  expr Tezos_protocol_environment_011_PtHangz2.Data_encoding.lazy_t

A record containing either an underlying serialized representation of an expression or a deserialized one, or both. If either is absent, it will be computed on-demand.

type node =
  (location, Michelson_v1_primitives.prim)
    Tezos_protocol_environment_011_PtHangz2.Micheline.node

Same as expr, but used in different contexts, as required by Micheline's abstract interface.

val location_encoding : 
  location Tezos_protocol_environment_011_PtHangz2.Data_encoding.t

val expr_encoding : 
  expr Tezos_protocol_environment_011_PtHangz2.Data_encoding.t

val lazy_expr_encoding : 
  lazy_expr Tezos_protocol_environment_011_PtHangz2.Data_encoding.t

val lazy_expr : expr -> lazy_expr

type t = {

code : lazy_expr;
storage : lazy_expr;

}

Type t joins the contract's code and storage in a single record.

val encoding : t Tezos_protocol_environment_011_PtHangz2.Data_encoding.encoding

val deserialization_cost_estimated_from_bytes : int -> Gas_limit_repr.cost

val deserialized_cost : expr -> Gas_limit_repr.cost

val serialized_cost : bytes -> Gas_limit_repr.cost

val bytes_node_cost : bytes -> Gas_limit_repr.cost

val force_decode_cost : lazy_expr -> Gas_limit_repr.cost

val force_decode : 
  lazy_expr ->
  expr Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult

val force_bytes_cost : lazy_expr -> Gas_limit_repr.cost

val force_bytes : 
  lazy_expr ->
  bytes Tezos_protocol_environment_011_PtHangz2.Error_monad.tzresult

val unit_parameter : lazy_expr

val is_unit_parameter : lazy_expr -> bool

val strip_annotations : node -> node

val strip_locations_cost : node -> Gas_limit_repr.cost

module Micheline_size : sig ... end

val micheline_nodes : node -> int

micheline_nodes root returns the number of internal nodes in the micheline expression held from root.

val fold : node -> 'c -> ('c -> node -> 'c) -> 'c

fold node i f traverses node applying f on an accumulator initialized by i.

package tezos-protocol-011-PtHangz2