Module `Tezos_raw_protocol_010_PtGRANAD.Script_repr`Source

type location =
  Tezos_protocol_environment_010_PtGRANAD.Micheline.canonical_location

Sourcetype annot = Tezos_protocol_environment_010_PtGRANAD.Micheline.annot

type expr =
  Michelson_v1_primitives.prim
    Tezos_protocol_environment_010_PtGRANAD.Micheline.canonical

Sourcetype Tezos_protocol_environment_010_PtGRANAD.Error_monad.error +=

type lazy_expr =
  expr Tezos_protocol_environment_010_PtGRANAD.Data_encoding.lazy_t

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

val location_encoding : 
  location Tezos_protocol_environment_010_PtGRANAD.Data_encoding.t

val expr_encoding : 
  expr Tezos_protocol_environment_010_PtGRANAD.Data_encoding.t

val lazy_expr_encoding : 
  lazy_expr Tezos_protocol_environment_010_PtGRANAD.Data_encoding.t

Sourceval lazy_expr : expr -> lazy_expr

Sourcetype t = {

}

Sourceval encoding : t Tezos_protocol_environment_010_PtGRANAD.Data_encoding.encoding

Sourceval deserialization_cost_estimated_from_bytes : int -> Gas_limit_repr.cost

Sourceval deserialized_cost : expr -> Gas_limit_repr.cost

Sourceval serialized_cost : bytes -> Gas_limit_repr.cost

Sourceval bytes_node_cost : bytes -> Gas_limit_repr.cost

Sourceval force_decode_cost : lazy_expr -> Gas_limit_repr.cost

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

Sourceval force_bytes_cost : lazy_expr -> Gas_limit_repr.cost

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

Sourceval unit_parameter : lazy_expr

Sourceval is_unit_parameter : lazy_expr -> bool

Sourceval strip_annotations : node -> node

Sourceval strip_locations_cost : node -> Gas_limit_repr.cost

Install