Module `Tezos_raw_protocol_007_PsDELPH1.Script_repr`Source

Source

type location =
  Tezos_protocol_environment_007_PsDELPH1.Micheline.canonical_location

Sourcetype annot = Tezos_protocol_environment_007_PsDELPH1.Micheline.annot

Source

type expr =
  Michelson_v1_primitives.prim
    Tezos_protocol_environment_007_PsDELPH1.Micheline.canonical

Sourcetype Tezos_protocol_environment_007_PsDELPH1.Error_monad.error +=

| Lazy_script_decode

Source

type lazy_expr =
  expr Tezos_protocol_environment_007_PsDELPH1.Data_encoding.lazy_t

Source

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

Source

val location_encoding : 
  location Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

Source

val expr_encoding : 
  expr Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

Source

val lazy_expr_encoding : 
  lazy_expr Tezos_protocol_environment_007_PsDELPH1.Data_encoding.t

Sourceval lazy_expr : expr -> lazy_expr

Sourcetype t = {

code : lazy_expr;
storage : lazy_expr;

}

Sourceval encoding : t Tezos_protocol_environment_007_PsDELPH1.Data_encoding.encoding

Sourceval deserialized_cost : expr -> Gas_limit_repr.cost

Source

val serialized_cost : 
  Tezos_protocol_environment_007_PsDELPH1.MBytes.t ->
  Gas_limit_repr.cost

Sourceval traversal_cost : node -> Gas_limit_repr.cost

Source

val int_node_cost : 
  Tezos_protocol_environment_007_PsDELPH1.Z.t ->
  Gas_limit_repr.cost

Sourceval int_node_cost_of_numbits : int -> Gas_limit_repr.cost

Sourceval string_node_cost : string -> Gas_limit_repr.cost

Sourceval string_node_cost_of_length : int -> Gas_limit_repr.cost

Source

val bytes_node_cost : 
  Tezos_protocol_environment_007_PsDELPH1.MBytes.t ->
  Gas_limit_repr.cost

Sourceval bytes_node_cost_of_length : int -> Gas_limit_repr.cost

Sourceval prim_node_cost_nonrec : expr list -> annot -> Gas_limit_repr.cost

Sourceval seq_node_cost_nonrec : expr list -> Gas_limit_repr.cost

Sourceval seq_node_cost_nonrec_of_length : int -> Gas_limit_repr.cost

Source

val force_decode : 
  lazy_expr ->
  (expr * Gas_limit_repr.cost)
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

Source

val force_bytes : 
  lazy_expr ->
  (Tezos_protocol_environment_007_PsDELPH1.MBytes.t * Gas_limit_repr.cost)
    Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

Sourceval minimal_deserialize_cost : lazy_expr -> Gas_limit_repr.cost

Sourceval unit_parameter : lazy_expr

Sourceval is_unit_parameter : lazy_expr -> bool

Sourceval strip_annotations : node -> node

Sourceval micheline_nodes : node -> int

Sourceval strip_locations_cost : node -> Gas_limit_repr.cost

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Script_repr/index.html

Module `Tezos_raw_protocol_007_PsDELPH1.Script_repr`Source

package tezos-protocol-007-PsDELPH1

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Script_repr/index.html

Module Tezos_raw_protocol_007_PsDELPH1.Script_reprSource

Module `Tezos_raw_protocol_007_PsDELPH1.Script_repr`Source