Struct jlrs::wrappers::ptr::datatype::DataType

source · [−]

#[repr(transparent)]
pub struct DataType<'scope>(_, _);

Expand description

Julia type information. You can acquire a Value’s datatype by by calling Value::datatype. If a DataType is concrete and not a subtype of Array a new instance can be created with DataType::instantiate.

Implementations

source

impl<'scope> DataType<'scope>

source

pub fn type_name(self) -> TypeNameRef<'scope>

Returns the TypeName of this type.

source

pub fn super_type(self) -> DataTypeRef<'scope>

Returns the super type of this type.

source

pub fn parameters(self) -> SimpleVectorRef<'scope>

Returns the type parameters of this type.

source

pub fn n_parameters(self) -> usize

Returns the number of type parameters.

source

pub fn parameter(self, idx: usize) -> Option<ValueRef<'scope, 'static>>

Returns the type parameter at position idx, or None if the index is out of bounds.

source

pub fn field_types(self) -> SimpleVectorRef<'scope>

Returns the field types of this type.

source

pub fn field_type(self, idx: usize) -> Option<ValueRef<'scope, 'static>>

Returns the field type of the field at position idx, or None if the index is out of bounds.

source

pub unsafe fn field_type_unchecked(self, idx: usize) -> ValueRef<'scope, 'static>

Returns the field type of the field at position idx without performing a bounds check.

Safety: idx must be in-bounds.

source

pub fn field_type_concrete(self, idx: usize) -> Option<ValueRef<'scope, 'static>>

Returns the field type of the field at position idx.

source

pub fn field_names(self) -> SimpleVectorRef<'scope>

Returns the field names of this type.

source

pub fn field_name(self, idx: usize) -> Option<Symbol<'scope>>

Returns the name of the field at position idx.

source

pub fn field_index<N: ToSymbol>(self, field_name: N) -> JlrsResult<usize>

Returns the index of the field with the name field_name.

source

pub fn field_index_unchecked<N: ToSymbol>(self, field_name: N) -> i32

Returns the index of the field with the name field_name, if the field doesn’t exist the result is -1.

source

pub fn field_name_str(self, idx: usize) -> Option<&'scope str>

Returns the name of the field at position idx.

source

pub fn instance(self) -> ValueRef<'scope, 'static>

Returns the instance if this type is a singleton.

source

pub fn layout(self) -> *const c_void

Returns a pointer to the layout of this DataType.

source

pub fn size(self) -> i32

Returns the size of a value of this type in bytes.

source

pub fn hash(self) -> u32

Returns the hash of this type.

source

pub fn is_abstract(self) -> bool

Returns true if this is an abstract type.

source

pub fn mutable(self) -> bool

Returns true if this is a mutable type.

source

pub fn has_free_type_vars(self) -> bool

Returns true if one or more of the type parameters has not been set.

source

pub fn is_concrete_type(self) -> bool

Returns true if this type can have instances

source

pub fn is_dispatch_tuple(self) -> bool

Returns true if this type is a dispatch, or leaf, tuple type.

source

pub fn is_bits(self) -> bool

Returns true if this type is a bits-type.

source

pub fn zero_init(self) -> bool

Returns true if values of this type are zero-initialized.

source

pub fn is_inline_alloc(self) -> bool

Returns true if a value of this type stores its data inline.

source

pub fn has_concrete_subtype(self) -> bool

If false, no value will have this type.

source

pub fn cached_by_hash(self) -> bool

If true, the type is stored in hash-based set cache (instead of linear cache).

source

impl<'scope> DataType<'scope>

source

pub fn is<T: Typecheck>(self) -> bool

Performs the given typecheck on this type.

source

pub fn align(self) -> u16

Returns the alignment of a value of this type in bytes.

source

pub fn n_bits(self) -> i32

Returns the size of a value of this type in bits.

source

pub fn n_fields(self) -> u32

Returns the number of fields of a value of this type.

source

pub fn name(self) -> &'scope str

Returns the name of this type.

source

pub fn field_size(self, idx: usize) -> JlrsResult<u32>

Returns the size of the field at position idx in this type.

source

pub fn field_offset(self, idx: usize) -> JlrsResult<u32>

Returns the offset where the field at position idx is stored.

source

pub fn is_pointer_field(self, idx: usize) -> JlrsResult<bool>

Returns true if the field at position idx is stored as a pointer.

source

pub fn is_atomic_field(self, idx: usize) -> JlrsResult<bool>

Returns true if the field at position idx is an atomic field.

source

pub unsafe fn field_size_unchecked(self, idx: usize) -> u32

Returns the size of the field at position idx in this type.

Safety: an exception must not be thrown if this method is called from a ccalled function.

source

pub unsafe fn field_offset_unchecked(self, idx: usize) -> u32

Returns the offset where the field at position idx is stored.

Safety: an exception must not be thrown if this method is called from a ccalled function.

source

pub unsafe fn is_pointer_field_unchecked(self, idx: usize) -> bool

Returns true if the field at position idx is stored as a pointer.

Safety: an exception must not be thrown if this method is called from a ccalled function.

source

pub unsafe fn is_atomic_field_unchecked(self, idx: usize) -> bool

Returns true if the field at position idx is an atomic field.

Safety: an exception must not be thrown if this method is called from a ccalled function.

source

pub fn instantiate<'target, 'value, 'data, V, S>(
 self,
 scope: S,
 values: V
) -> JlrsResult<JuliaResult<'target, 'data>> where
 S: PartialScope<'target>,
 V: AsRef<[Value<'value, 'data>]>,

Create a new instance of this DataType, using values to set the fields. This is essentially a more powerful version of Value::new that can instantiate arbitrary concrete DataTypes, at the cost that each of its fields must have already been allocated as a Value. This functions returns an error if the given DataType isn’t concrete or is an array type. For custom array types you must use Array::new_for.

source

pub fn instantiate_unrooted<'global, 'value, 'data, V>(
 self,
 _: Global<'global>,
 values: V
) -> JlrsResult<JuliaResultRef<'global, 'data>> where
 V: AsRef<[Value<'value, 'data>]>,

Create a new instance of this DataType, using values to set the fields. This is essentially a more powerful version of Value::new that can instantiate arbitrary concrete DataTypes, at the cost that each of its fields must have already been allocated as a Value. This functions returns an error if the given DataType is not concrete or an array type. Unlike DataType::instantiate this method doesn’t root the allocated value.

source

pub unsafe fn instantiate_unchecked<'target, 'value, 'data, V, S>(
 self,
 scope: S,
 values: V
) -> JlrsResult<Value<'target, 'data>> where
 S: PartialScope<'target>,
 V: AsRef<[Value<'value, 'data>]>,

Create a new instance of this DataType, using values to set the fields. This is essentially a more powerful version of Value::new that can instantiate arbitrary concrete DataTypes, at the cost that each of its fields must have already been allocated as a Value.

This method performs no checks whether or not the value can be constructed with these values.

Safety: an exception must not be thrown if this method is called from a ccalled function.

source

pub unsafe fn instantiate_unrooted_unchecked<'global, 'value, 'borrow, V>(
 self,
 _: Global<'global>,
 values: V
) -> ValueRef<'global, 'borrow> where
 V: AsRef<[Value<'value, 'borrow>]>,

Create a new instance of this DataType, using values to set the fields. This is essentially a more powerful version of Value::new that can instantiate arbitrary concrete DataTypes, at the cost that each of its fields must have already been allocated as a Value.

This method performs no checks whether or not the value can be constructed with these values.

Safety: an exception must not be thrown if this method is called from a ccalled function.

source

pub fn has_pointer_fields(self) -> JlrsResult<bool>

source

pub fn root<'target>(self, output: Output<'target>) -> DataType<'target>

Use the Output to extend the lifetime of this data.

source

impl<'base> DataType<'base>

source

pub fn typeofbottom_type(_: Global<'base>) -> Self

The type of the bottom type, Union{}.

source

pub fn datatype_type(_: Global<'base>) -> Self

The type DataType.

source

pub fn uniontype_type(_: Global<'base>) -> Self

The type Union.

source

pub fn unionall_type(_: Global<'base>) -> Self

The type UnionAll.

source

pub fn tvar_type(_: Global<'base>) -> Self

The type TypeVar.

source

pub fn any_type(_: Global<'base>) -> Self

The type Any.

source

pub fn typename_type(_: Global<'base>) -> Self

The type TypeName.

source

pub fn symbol_type(_: Global<'base>) -> Self

The type Symbol.

source

pub fn ssavalue_type(_: Global<'base>) -> Self

The type SSAValue.

source

pub fn abstractslot_type(_: Global<'base>) -> Self

The type Slot.

source

pub fn slotnumber_type(_: Global<'base>) -> Self

The type SlotNumber.

source

pub fn typedslot_type(_: Global<'base>) -> Self

The type TypedSlot.

source

pub fn argument_type(_: Global<'base>) -> Self

The type Core.Argument

source

pub fn const_type(_: Global<'base>) -> Self

The type Core.Const

source

pub fn partial_struct_type(_: Global<'base>) -> Self

The type Core.PartialStruct

source

pub fn partial_opaque_type(_: Global<'base>) -> Self

The type Core.PartialOpaque

source

pub fn interconditional_type(_: Global<'base>) -> Self

The type Core.InterConditional

source

pub fn method_match_type(_: Global<'base>) -> Self

The type MethodMatch

source

pub fn simplevector_type(_: Global<'base>) -> Self

The type SimpleVector.

source

pub fn anytuple_type(_: Global<'base>) -> Self

The type Tuple.

source

pub fn emptytuple_type(_: Global<'base>) -> Self

The type of an empty tuple.

source

pub fn tuple_type(_: Global<'base>) -> Self

The type Tuple.

source

pub fn vararg_type(_: Global<'base>) -> Self

The type Vararg.

source

pub fn function_type(_: Global<'base>) -> Self

The type Function.

source

pub fn builtin_type(_: Global<'base>) -> Self

The type Builtin.

source

pub fn method_instance_type(_: Global<'base>) -> Self

The type MethodInstance.

source

pub fn code_instance_type(_: Global<'base>) -> Self

The type CodeInstance.

source

pub fn code_info_type(_: Global<'base>) -> Self

The type CodeInfo.

source

pub fn method_type(_: Global<'base>) -> Self

The type Method.

source

pub fn module_type(_: Global<'base>) -> Self

The type Module.

source

pub fn weakref_type(_: Global<'base>) -> Self

The type WeakRef.

source

pub fn abstractstring_type(_: Global<'base>) -> Self

The type AbstractString.

source

pub fn string_type(_: Global<'base>) -> Self

The type String.

source

pub fn errorexception_type(_: Global<'base>) -> Self

The type ErrorException.

source

pub fn argumenterror_type(_: Global<'base>) -> Self

The type ArgumentError.

source

pub fn loaderror_type(_: Global<'base>) -> Self

The type LoadError.

source

pub fn initerror_type(_: Global<'base>) -> Self

The type InitError.

source

pub fn typeerror_type(_: Global<'base>) -> Self

The type TypeError.

source

pub fn methoderror_type(_: Global<'base>) -> Self

The type MethodError.

source

pub fn undefvarerror_type(_: Global<'base>) -> Self

The type UndefVarError.

source

pub fn atomicerror_type(_: Global<'base>) -> Self

The type Core.AtomicError.

source

pub fn lineinfonode_type(_: Global<'base>) -> Self

The type LineInfoNode.

source

pub fn boundserror_type(_: Global<'base>) -> Self

The type BoundsError.

source

pub fn bool_type(_: Global<'base>) -> Self

The type Bool.

source

pub fn char_type(_: Global<'base>) -> Self

The type Char.

source

pub fn int8_type(_: Global<'base>) -> Self

The type Int8.

source

pub fn uint8_type(_: Global<'base>) -> Self

The type UInt8.

source

pub fn int16_type(_: Global<'base>) -> Self

The type Int16.

source

pub fn uint16_type(_: Global<'base>) -> Self

The type UInt16.

source

pub fn int32_type(_: Global<'base>) -> Self

The type Int32.

source

pub fn uint32_type(_: Global<'base>) -> Self

The type UInt32.

source

pub fn int64_type(_: Global<'base>) -> Self

The type Int64.

source

pub fn uint64_type(_: Global<'base>) -> Self

The type UInt64.

source

pub fn float16_type(_: Global<'base>) -> Self

The type Float16.

source

pub fn float32_type(_: Global<'base>) -> Self

The type Float32.

source

pub fn float64_type(_: Global<'base>) -> Self

The type Float64.

source

pub fn floatingpoint_type(_: Global<'base>) -> Self

The type AbstractFloat.

source

pub fn number_type(_: Global<'base>) -> Self

The type Number.

source

pub fn nothing_type(_: Global<'base>) -> Self

The type Nothing.

source

pub fn signed_type(_: Global<'base>) -> Self

The type Signed.

source

pub fn voidpointer_type(_: Global<'base>) -> Self

The type Ptr{Nothing}.

source

pub fn task_type(_: Global<'base>) -> Self

The type Task.

source

pub fn expr_type(_: Global<'base>) -> Self

The type Expr.

source

pub fn globalref_type(_: Global<'base>) -> Self

The type GlobalRef.

source

pub fn linenumbernode_type(_: Global<'base>) -> Self

The type LineNumberNode.

source

pub fn gotonode_type(_: Global<'base>) -> Self

The type GotoNode.

source

pub fn gotoifnot_type(_: Global<'base>) -> Self

The type GotoIfNot.

source

pub fn returnnode_type(_: Global<'base>) -> Self

The type ReturnNode.

source

pub fn phinode_type(_: Global<'base>) -> Self

The type PhiNode.

source

pub fn pinode_type(_: Global<'base>) -> Self

The type PiNode.

source

pub fn phicnode_type(_: Global<'base>) -> Self

The type PhiCNode.

source

pub fn upsilonnode_type(_: Global<'base>) -> Self

The type UpsilonNode.

source

pub fn quotenode_type(_: Global<'base>) -> Self

The type QuoteNode.

source

pub fn newvarnode_type(_: Global<'base>) -> Self

The type NewVarNode.

source

pub fn intrinsic_type(_: Global<'base>) -> Self

The type Intrinsic.

source

pub fn methtable_type(_: Global<'base>) -> Self

The type MethodTable.

source

pub fn typemap_level_type(_: Global<'base>) -> Self

The type TypeMapLevel.

source

pub fn typemap_entry_type(_: Global<'base>) -> Self

The type TypeMapEntry.

Trait Implementations

source

impl<'scope> Clone for DataType<'scope>

source

fn clone(&self) -> DataType<'scope>

Returns a copy of the value. Read more

1.0.0 · source

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

source

impl Debug for DataType<'_>

source

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

source

impl<'scope> PartialEq<DataType<'scope>> for DataType<'scope>

source

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==. Read more

1.0.0 · source

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

source

impl<'scope, 'data> PartialEq<Value<'scope, 'data>> for DataType<'scope>

source

fn eq(&self, other: &Value<'scope, 'data>) -> bool

This method tests for self and other values to be equal, and is used by ==. Read more

1.0.0 · source

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

source

impl<'scope> Copy for DataType<'scope>

source

impl<'scope> Eq for DataType<'scope>

source

impl<'frame> Typecheck for DataType<'frame>

Auto Trait Implementations

impl<'scope> RefUnwindSafe for DataType<'scope>

impl<'scope> !Send for DataType<'scope>

impl<'scope> !Sync for DataType<'scope>

impl<'scope> Unpin for DataType<'scope>

impl<'scope> UnwindSafe for DataType<'scope>

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

source

impl<'scope, 'data, W> Wrapper<'scope, 'data> for W where
W: WrapperPriv<'scope, 'data>,

source

fn as_ref(self) -> Ref<'scope, 'data, Self>

Convert the wrapper to a Ref.

source

fn as_value(self) -> Value<'scope, 'data>

Convert the wrapper to a Value.

source

fn display_string(self) -> JlrsResult<String>

Convert the wrapper to its display string, i.e. the string that is shown when calling Base.show. Read more

source

fn error_string(self) -> JlrsResult<String>

Convert the wrapper to its error string, i.e. the string that is shown when calling Base.showerror. This string can contain ANSI color codes if this is enabled by calling Julia::error_color, AsyncJulia::error_color, or AsyncJulia::try_error_color, . Read more

source

fn display_string_or<S: Into<String>>(self, default: S) -> String

Convert the wrapper to its display string, i.e. the string that is shown by calling Base.display, or some default value. Read more

source

fn error_string_or<S: Into<String>>(self, default: S) -> String

Convert the wrapper to its error string, i.e. the string that is shown when this value is thrown as an exception, or some default value. Read more

Struct jlrs::wrappers::ptr::datatype::DataType

Implementations

impl<'scope> DataType<'scope>

pub fn type_name(self) -> TypeNameRef<'scope>

pub fn super_type(self) -> DataTypeRef<'scope>

pub fn parameters(self) -> SimpleVectorRef<'scope>

pub fn n_parameters(self) -> usize

pub fn parameter(self, idx: usize) -> Option<ValueRef<'scope, 'static>>

pub fn field_types(self) -> SimpleVectorRef<'scope>

pub fn field_type(self, idx: usize) -> Option<ValueRef<'scope, 'static>>

pub unsafe fn field_type_unchecked(self, idx: usize) -> ValueRef<'scope, 'static>

pub fn field_type_concrete(self, idx: usize) -> Option<ValueRef<'scope, 'static>>

pub fn field_names(self) -> SimpleVectorRef<'scope>

pub fn field_name(self, idx: usize) -> Option<Symbol<'scope>>

pub fn field_index<N: ToSymbol>(self, field_name: N) -> JlrsResult<usize>

pub fn field_index_unchecked<N: ToSymbol>(self, field_name: N) -> i32

pub fn field_name_str(self, idx: usize) -> Option<&'scope str>

pub fn instance(self) -> ValueRef<'scope, 'static>

pub fn layout(self) -> *const c_void

pub fn size(self) -> i32

pub fn hash(self) -> u32

pub fn is_abstract(self) -> bool

pub fn mutable(self) -> bool

pub fn has_free_type_vars(self) -> bool

pub fn is_concrete_type(self) -> bool

pub fn is_dispatch_tuple(self) -> bool

pub fn is_bits(self) -> bool

pub fn zero_init(self) -> bool

pub fn is_inline_alloc(self) -> bool

pub fn has_concrete_subtype(self) -> bool

pub fn cached_by_hash(self) -> bool

impl<'scope> DataType<'scope>

pub fn is<T: Typecheck>(self) -> bool

pub fn align(self) -> u16

pub fn n_bits(self) -> i32

pub fn n_fields(self) -> u32

pub fn name(self) -> &'scope str

pub fn field_size(self, idx: usize) -> JlrsResult<u32>

pub fn field_offset(self, idx: usize) -> JlrsResult<u32>

pub fn is_pointer_field(self, idx: usize) -> JlrsResult<bool>

pub fn is_atomic_field(self, idx: usize) -> JlrsResult<bool>

pub unsafe fn field_size_unchecked(self, idx: usize) -> u32

pub unsafe fn field_offset_unchecked(self, idx: usize) -> u32

pub unsafe fn is_pointer_field_unchecked(self, idx: usize) -> bool

pub unsafe fn is_atomic_field_unchecked(self, idx: usize) -> bool

pub fn instantiate<'target, 'value, 'data, V, S>( self, scope: S, values: V) -> JlrsResult<JuliaResult<'target, 'data>> where S: PartialScope<'target>, V: AsRef<[Value<'value, 'data>]>,

pub fn instantiate_unrooted<'global, 'value, 'data, V>( self, _: Global<'global>, values: V) -> JlrsResult<JuliaResultRef<'global, 'data>> where V: AsRef<[Value<'value, 'data>]>,

pub unsafe fn instantiate_unchecked<'target, 'value, 'data, V, S>( self, scope: S, values: V) -> JlrsResult<Value<'target, 'data>> where S: PartialScope<'target>, V: AsRef<[Value<'value, 'data>]>,

pub unsafe fn instantiate_unrooted_unchecked<'global, 'value, 'borrow, V>( self, _: Global<'global>, values: V) -> ValueRef<'global, 'borrow> where V: AsRef<[Value<'value, 'borrow>]>,

pub fn has_pointer_fields(self) -> JlrsResult<bool>

pub fn root<'target>(self, output: Output<'target>) -> DataType<'target>

impl<'base> DataType<'base>

pub fn typeofbottom_type(_: Global<'base>) -> Self

pub fn datatype_type(_: Global<'base>) -> Self

pub fn uniontype_type(_: Global<'base>) -> Self

pub fn unionall_type(_: Global<'base>) -> Self

pub fn tvar_type(_: Global<'base>) -> Self

pub fn any_type(_: Global<'base>) -> Self

pub fn typename_type(_: Global<'base>) -> Self

pub fn symbol_type(_: Global<'base>) -> Self

pub fn ssavalue_type(_: Global<'base>) -> Self

pub fn abstractslot_type(_: Global<'base>) -> Self

pub fn slotnumber_type(_: Global<'base>) -> Self

pub fn typedslot_type(_: Global<'base>) -> Self

pub fn argument_type(_: Global<'base>) -> Self

pub fn const_type(_: Global<'base>) -> Self

pub fn partial_struct_type(_: Global<'base>) -> Self

pub fn partial_opaque_type(_: Global<'base>) -> Self

pub fn interconditional_type(_: Global<'base>) -> Self

pub fn method_match_type(_: Global<'base>) -> Self

pub fn simplevector_type(_: Global<'base>) -> Self

pub fn anytuple_type(_: Global<'base>) -> Self

pub fn emptytuple_type(_: Global<'base>) -> Self

pub fn tuple_type(_: Global<'base>) -> Self

pub fn vararg_type(_: Global<'base>) -> Self

pub fn function_type(_: Global<'base>) -> Self

pub fn builtin_type(_: Global<'base>) -> Self

pub fn method_instance_type(_: Global<'base>) -> Self

pub fn code_instance_type(_: Global<'base>) -> Self

pub fn code_info_type(_: Global<'base>) -> Self

pub fn instantiate<'target, 'value, 'data, V, S>(
self,
scope: S,
values: V
) -> JlrsResult<JuliaResult<'target, 'data>> where
S: PartialScope<'target>,
V: AsRef<[Value<'value, 'data>]>,

pub fn instantiate_unrooted<'global, 'value, 'data, V>(
self,
_: Global<'global>,
values: V
) -> JlrsResult<JuliaResultRef<'global, 'data>> where
V: AsRef<[Value<'value, 'data>]>,

pub unsafe fn instantiate_unchecked<'target, 'value, 'data, V, S>(
self,
scope: S,
values: V
) -> JlrsResult<Value<'target, 'data>> where
S: PartialScope<'target>,
V: AsRef<[Value<'value, 'data>]>,

pub unsafe fn instantiate_unrooted_unchecked<'global, 'value, 'borrow, V>(
self,
_: Global<'global>,
values: V
) -> ValueRef<'global, 'borrow> where
V: AsRef<[Value<'value, 'borrow>]>,