Elvis operator for types.
Elvis operator for types. See https://en.wikipedia.org/wiki/Elvis_operator
Returns true if this type embeddable, i.e.
Returns true if this type embeddable, i.e. a type that can be combined with type
constructor for optimized encoding. For each embeddable type T
, and type
constructor C
, the type C[T]
can be represented by a single byte.
Returns parsable type term string of the type described by this type descriptor.
Type code used in serialization of SType values.
Applies a type substitution to this type.
Applies a type substitution to this type.
the type substitution to apply
the type after applying the substitution
Type variable which is used in generic method/func signatures. Used by ErgoScript compiler IR and eliminated during compilation. It is not used in ErgoTree.