Module Tezos_raw_protocol_008_PtEdo2Zk.Script_reprSource

Sourceval lazy_expr : expr -> lazy_expr
Sourcetype t = {
  1. code : lazy_expr;
  2. storage : lazy_expr;
}
Sourceval deserialized_cost : expr -> Gas_limit_repr.cost
Sourceval serialized_cost : bytes -> Gas_limit_repr.cost
Sourceval traversal_cost : node -> 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
Sourceval bytes_node_cost : bytes -> 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
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