TorchLean Runtime Tensor-Pack Facade

Public tensor-pack names used by runtime-facing examples.

@[reducible, inline]

abbrev TorchLean.tensorpack.TensorPack (α : Type) (shapes : List Shape) : Type

Shape-indexed tensor pack.

This is the public name for TorchLean's typed tuple/argument-pack representation. A TensorPack α [s₁, s₂, ...] is a fixed tuple of tensors whose shapes are tracked by the type-level list.