ToStream instance

@[instance_reducible]

instance Vector.instToStreamSubarray {α : Type u_1} {n : Nat} : Std.ToStream (Vector α n) (Subarray α)

Equations

• Vector.instToStreamSubarray = { toStream := fun (xs : Vector α n) => Std.Rii.Sliceable.mkSlice xs.toArray *...* }