Pack reports

This module reports segment metadata and native execution for concrete pack and unpack certificates.

def TorchLean.Tensor.Internal.Report.Impl.concretePackReport (operation : String) (checked scalarType : Lean.Expr) : Lean.MetaM (Option String)

Decode concrete pack or unpack metadata into its segment-level report.